# test: eye --quick http://eulersharp.sourceforge.net/2007/07test/pd_hes_tactic.n3 --query http://eulersharp.sourceforge.net/2007/07test/pd_hes_query.n3 http://eulersharp.sourceforge.net/2007/07test/pd_hes_theory.n3 > pd_hes_proof.n3

@keywords is, of, a.

@prefix : <pd_hes#>.

{bc i ?U. ac i ?U. ab i ?U} => {bc i ?U. ac i ?U. ab i ?U}.
{a1 i b2c2} => {a1 i b2c2}.
{b2 i a1c1} => {b2 i a1c1}.