# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:23 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt>!log:semantics)!log:conjunction e:constructs
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/resource1> <http://example.org/property> <http://example.org/resource2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_24>. 
{_:anon_36_ <http://example.org/property> <http://example.org/resource2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_25>. 
{<http://example.org/resource2> <http://example.org/property> _:anon_36_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_26>. 
{<http://example.org/resource3> <http://example.org/property> <http://example.org/resource2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_28>. 
{<http://example.org/resource4> <http://example.org/property> <http://example.org/resource2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_31>. 
{<http://example.org/resource5> <http://example.org/property> <http://example.org/resource2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_34>. 
{<http://example.org/resource6> <http://example.org/property> <http://example.org/resource2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_35>. 
{<http://example.org/resource7> <http://example.org/property> "simple literal"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_39>. 
{<http://example.org/resource8> <http://example.org/property> "backslash:\\"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_40>. 
{<http://example.org/resource9> <http://example.org/property> "dquote:\""} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_41>. 
{<http://example.org/resource10> <http://example.org/property> "newline:\n"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_42>. 
{<http://example.org/resource11> <http://example.org/property> "return\r"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_43>. 
{<http://example.org/resource12> <http://example.org/property> "tab:\t"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_44>. 
{<http://example.org/resource13> <http://example.org/property> <http://example.org/resource2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_47>. 
{<http://example.org/resource14> <http://example.org/property> "x"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_48>. 
{<http://example.org/resource15> <http://example.org/property> _:anon_36_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_49>. 
{<http://example.org/resource16> <http://example.org/property> "\u00E9"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_53>. 
{<http://example.org/resource17> <http://example.org/property> "\u20AC"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_55>. 
{<http://example.org/resource21> <http://example.org/property> ""^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_61>. 
{<http://example.org/resource22> <http://example.org/property> " "^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_62>. 
{<http://example.org/resource23> <http://example.org/property> "x"^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_63>. 
{<http://example.org/resource23> <http://example.org/property> "\""^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_64>. 
{<http://example.org/resource24> <http://example.org/property> "<a></a>"^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_65>. 
{<http://example.org/resource25> <http://example.org/property> "a <b></b>"^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_66>. 
{<http://example.org/resource26> <http://example.org/property> "a <b></b> c"^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_67>. 
{<http://example.org/resource26> <http://example.org/property> "a\n<b></b>\nc"^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_68>. 
{<http://example.org/resource27> <http://example.org/property> "chat"^^<http://www.w3.org/2000/01/rdf-schema#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_69>. 
{<http://example.org/resource30> <http://example.org/property> "chat"@fr} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_74>. 
{<http://example.org/resource31> <http://example.org/property> "chat"@en} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_75>. 
{<http://example.org/resource32> <http://example.org/property> "abc"^^<http://example.org/datatype1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt#_78>. 

# Proof found in 495 steps (49500000 steps/sec) using 1 engine (30 triples)
}.