:- style_check(-discontiguous).
:- style_check(-singleton).
:- multifile(exopred/3).
:- multifile(implies/3).
:- multifile(pfx/2).
:- multifile(pred/1).
:- multifile(prfstep/8).
:- multifile(scope/1).
:- multifile(scount/1).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#mu>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#pi>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#sigma>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#biconditional>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#conditional>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#reflexive>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#relabel>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#tactic>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#transaction>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'/2).
:- multifile('<http://www.w3.org/2000/10/swap/log#implies>'/2).
:- multifile('<http://www.w3.org/2000/10/swap/log#outputString>'/2).
:- multifile('<http://www.w3.org/2002/07/owl#sameAs>'/2).
flag('no-skolem', 'http://eulersharp.sourceforge.net/.well-known/genid/Zob96df:1j2Z8LKkBlhRy:66cXM#').
scope('<http://eulersharp.sourceforge.net/2007/07test/sample.n3>').
pfx((:),
								'<http://example.org/try#>').
:- dynamic('<http://example.org/try#p>'/2).
:- multifile('<http://example.org/try#p>'/2).
:- dynamic('<http://example.org/try#b>'/2).
:- multifile('<http://example.org/try#b>'/2).
:- dynamic('<http://example.org/try#e>'/2).
:- multifile('<http://example.org/try#e>'/2).
:- dynamic('<http://example.org/try#v>'/2).
:- multifile('<http://example.org/try#v>'/2).
pred('<http://example.org/try#p>').
'<http://example.org/try#p>'('<http://example.org/try#s>', '<http://example.org/try#b>'('<http://example.org/try#a>', '<http://example.org/try#c>')).
'<http://example.org/try#p>'('<http://example.org/try#s>',  ('<http://example.org/try#b>'('<http://example.org/try#a>', '<http://example.org/try#c>'), '<http://example.org/try#e>'('<http://example.org/try#d>', '<http://example.org/try#f>'))).
implies(('<http://example.org/try#v>'('<http://example.org/try#u>', A), exopred(_, B, '<http://example.org/try#z>')), '<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(A, B), '<http://eulersharp.sourceforge.net/2007/07test/sample.n3>').
implies(true, '<http://example.org/try#p>'(_, '<http://example.org/try#o>'), '<http://eulersharp.sourceforge.net/2007/07test/sample.n3>').
implies('<http://example.org/try#p>'('<http://example.org/try#u>', _), false, '<http://eulersharp.sourceforge.net/2007/07test/sample.n3>').
scount(5).
end_of_file.