#!/bin/bash
eye "$@" --nope http://eulersharp.sourceforge.net/2007/07test/iq.n3 --pass-all > iq_answer.n3
eye "$@" http://eulersharp.sourceforge.net/2007/07test/iq.n3 --pass-all > iq_proof.n3