#!/bin/bash
# resto test case pragmatic proof path
cwm http://eulersharp.sourceforge.net/2007/07test/resto.n3 --think --filter=http://eulersharp.sourceforge.net/2007/07test/restoG.n3 --why > resto-cwm-proof.n3
cwm http://eulersharp.sourceforge.net/2007/07test/resto2.n3 --think --filter=http://eulersharp.sourceforge.net/2007/07test/restoG.n3 --why > resto-cwm-proof2.n3