# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:19 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/test.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-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 foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@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 owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:f foo:g {foo:h foo:i foo:j}} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:d {foo:e foo:f foo:g}} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_14>. 
{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_15>. 
{foo:a foo:b foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_15>. 
{_:e29058_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{_:e29058_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{foo:a foo:b _:e29065_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_17>. 
{_:e29065_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_17>. 
{_:e29088_9_ foo:g foo:h} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e29088_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e29088_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e29088_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e29103_9_ foo:g foo:h} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e29103_9_ foo:a _:e29110_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e29110_9_ foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e29103_9_ foo:d _:e29113_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e29113_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e29122_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e29122_9_ foo:a _:e29127_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e29127_9_ foo:b _:e29131_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e29131_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e29058_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{_:e29152_9_ foo:c _:e29155_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{_:e29155_9_ foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{_:e29152_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{foo:c foo:b foo:a} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_28>. 
{foo:c foo:b foo:a} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_28>. 
{foo:a foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b "c"} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_32>. 
{foo:a foo:b "ok"@fr} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_33>. 
{foo:a foo:b """c d"""} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_34>. 
{foo:a foo:c "10"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_36>. 
{foo:a foo:c "bleu"@fr^^<http://example.org/mycolourspace>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_37>. 
{foo:a foo:c "blue"@en-US^^<http://example.org/mycolourspace>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_38>. 
{foo:a foo:c "10"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_36>. 
{foo:a foo:c "bleu"@fr^^foo:mycolourspace} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_40>. 
{foo:a foo:x "blue"@en-US^^_:x_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_41>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e29217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e29217_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:x foo:p _:e29285_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_46>. 
{_:e29285_9_ foo:q foo:z} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_46>. 
{foo:foo foo:prop "<"^^rdf:XMLLiteral} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_48>. 
{foo:bar foo:prop2 "0.5"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_49>. 
{foo:a foo:b1 "-129"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b2 "-128"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b3 "127"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b4 "128"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:i1 "-2147483649"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i2 "-2147483648"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i3 "2147483647"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i4 "2147483648"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:l1 "-9223372036854775809"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l2 "-9223372036854775808"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l3 "9223372036854775807"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l4 "9223372036854775808"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:s1 "-32769"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s2 "-32768"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s3 "32767"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s4 "32768"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:ub1 "-1"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub2 "0"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub3 "255"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub4 "256"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ui1 "-1"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui2 "0"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui3 "4294967295"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui4 "4294967296"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ul1 "-1"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul2 "0"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul3 "18446744073709551615"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul4 "18446744073709551616"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:us1 "-1"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us2 "0"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us3 "65535"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us4 "65536"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:ni1 "0"^^xsd:negativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_60>. 
{foo:a foo:ni2 "-1"^^xsd:negativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_60>. 
{foo:a foo:nni1 "0"^^xsd:nonNegativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_61>. 
{foo:a foo:nni2 "-1"^^xsd:nonNegativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_61>. 
{foo:a foo:npi1 "1"^^xsd:nonPositiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_62>. 
{foo:a foo:npi2 "0"^^xsd:nonPositiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_62>. 
{foo:a foo:pi1 "1"^^xsd:positiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_63>. 
{foo:a foo:pi2 "0"^^xsd:positiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_63>. 
{"0.3"^^xsd:float a xsd:integer} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_65>. 
{foo:a foo:b "ok"@fr} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_33>. 
{foo:c foo:d "100"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_68>. 
{foo:e foo:f "bleu"@fr^^foo:colour} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_69>. 

# Proof found in 1230 steps (122877 steps/sec) using 1 engine (395 triples)
}.