#!/bin/bash
proofcheck --report witch-proof.n3 | tee witch-check.txt
