:- 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/J89oen_lJHdnHsOnMnjFf6dpZA0#').
scope('<http://eulersharp.sourceforge.net/2007/07test/extra.ttl>').
pfx((:),
								'<http://example.org/try#>').
:- dynamic('<http://example.org/try#p>'/2).
:- multifile('<http://example.org/try#p>'/2).
pred('<http://example.org/try#p>').
'<http://example.org/try#p>'('<http://example.org/try#s>', literal('we \'try zero', type('<http://www.w3.org/2001/XMLSchema#string>'))).
'<http://example.org/try#p>'('<http://example.org/try#s>', literal('we \\"try one', type('<http://www.w3.org/2001/XMLSchema#string>'))).
'<http://example.org/try#p>'('<http://example.org/try#s>', literal('we \\"try\\ntwo', type('<http://www.w3.org/2001/XMLSchema#string>'))).
'<http://example.org/try#p>'('<http://example.org/try#s>', literal('we \\"try three', type('<http://www.w3.org/2001/XMLSchema#string>'))).
'<http://example.org/try#p>'('<http://example.org/try#s>', literal('we \\"\\"try four', type('<http://www.w3.org/2001/XMLSchema#string>'))).
'<http://example.org/try#p>'('<http://example.org/try#s>', literal('we \\\\try five', type('<http://www.w3.org/2001/XMLSchema#string>'))).
'<http://example.org/try#p>'('<http://example.org/try#s>', '<http://example.org/Connor\'s>').
scount(7).
end_of_file.