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

(<http://www.agfa.com/w3c/euler/dtP.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/dtP#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{:road :repair "P14M3DT10H30M"^^xsd:duration} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_12>. 
{:testcase :made "2002-11-16T00:41:00Z"^^xsd:dateTime} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_13>. 
{:john :birthday "1956-01-10"^^xsd:date} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_14>. 
{:john :birthday "1956-01"^^xsd:gYearMonth} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_15>. 
{:john :birthday "1956"^^xsd:gYear} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_16>. 
{:john :birthday "--01-10"^^xsd:gMonthDay} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_17>. 
{:john :birthday "---10"^^xsd:gDay} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_18>. 
{:john :birthday "--01--"^^xsd:gMonth} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_19>. 
{:jane :age "+10.000"^^xsd:decimal} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_20>. 
{:mary :ageS "11"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_21>. 
{:john :ageS "11"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_22>. 
{:jenny :age (10 5)!math:sum} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_23>. 
{"10.1"^^xsd:decimal math:greaterThan "8.4"^^xsd:decimal} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"P1Y2M"^^xsd:duration math:notGreaterThan "P14MT10H"^^xsd:duration} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"01:41:00+01:00"^^xsd:time math:lessThan "05:41:00Z"^^xsd:time} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"1956-01-10"^^xsd:date math:notLessThan "1956-01-10"^^xsd:date} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"10"^^xsd:int math:equalTo "010"^^xsd:int} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"a" a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{5 a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{5.0 a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{0.5e1 a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{:aaa :ppp "333"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_25>. 
{:bbb :ppp " 333 "^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_26>. 
{:bbb :ppp "333"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_26>. 
{"333"^^xsd:int a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{:foo :bar "chat"@fr^^rdf:XMLLiteral} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_27>. 
{:foo :bar "chat"@fr^^:baz} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_27>. 
{:ccc :qqq "sss"@en-US} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_29>. 
{:Jane :age "15"^^xsd:decimal} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_31>. 
{:JaneC :age "15"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_32>. 
{:doc :language "en-US"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_33>. 
{:doc2 :language "en-US"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_34>. 
{:doc :language "en-US"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_33>. 
{:Jeremy :ageInYears "40"^^xsd:float} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_35>. 
{:JeremyC :ageInYears "40"^^xsd:float} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_36>. 
{:car :engineSizeInLitres "1.3"^^xsd:float} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_37>. 
{:car2 :engineSizeInLitres "1.3"^^xsd:float} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_38>. 
{:doc :identifier "http://www.example.org/doc"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_39>. 

# Proof found in 65 steps (6493 steps/sec) using 1 engine (213 triples)
}.