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