# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:40 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

()!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#>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:42 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/2002/03owlt/AllDifferent/Manifest001.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/AllDifferent/premises001.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<http://www.w3.org/2002/07/owl#differentFrom> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_33>. 
 {{<http://www.w3.org/2002/07/owl#differentFrom> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_33>. 
  {
   {<http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney> log:notEqualTo <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred>} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX8000_1_ owl:distinctMembers _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_} e:evidence <http://www.w3.org/2002/03owlt/AllDifferent/premises001.rdf#_14>. 
   {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffe_1_} e:evidence <http://www.w3.org/2002/03owlt/AllDifferent/premises001.rdf#_12>. 
    {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffe_1_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffd_1_} e:evidence <http://www.w3.org/2002/03owlt/AllDifferent/premises001.rdf#_5>. 
     {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffd_1_ rdf:first <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney>} e:evidence <http://www.w3.org/2002/03owlt/AllDifferent/premises001.rdf#_7>} e:sequent {
     {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffd_1_ :item <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
    {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffe_1_ :item <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}} e:sequent {
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_ :item <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}. 
   {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_ rdf:first <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred>} e:evidence <http://www.w3.org/2002/03owlt/AllDifferent/premises001.rdf#_11>} e:sequent {
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fff_1_ :item <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
  {<http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_73>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 

# Proof found in 903 steps (45127 steps/sec) using 1 engine (445 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:42 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/2002/03owlt/AnnotationProperty/Manifest002.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/AnnotationProperty/premises002.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#ap> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AnnotationProperty>} e:evidence <http://www.w3.org/2002/03owlt/AnnotationProperty/premises002.rdf#_1>. 
{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ffb_5_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{<http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#A> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/AnnotationProperty/premises002.rdf#_2>. 
{<http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#A> <http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#ap> <http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#B>} e:evidence <http://www.w3.org/2002/03owlt/AnnotationProperty/premises002.rdf#_3>. 

# Proof found in 11 steps (1098 steps/sec) using 1 engine (435 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:42 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/2002/03owlt/Class/Manifest002.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/Class/premises002.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{rdfs:Class rdfs:subClassOf <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_15>. 
 {<http://www.w3.org/2002/03owlt/Class/premises002#ex> a rdfs:Class} e:evidence <http://www.w3.org/2002/03owlt/Class/premises002.rdf#_1>} e:sequent {
{<http://www.w3.org/2002/03owlt/Class/premises002#ex> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}. 

# Proof found in 43854 steps (181959 steps/sec) using 1 engine (432 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:43 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/2002/03owlt/Class/Manifest003.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/Class/premises003.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdf:type rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_36>. 
   {rdfs:Resource rdfs:subClassOf owl:Thing} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_27>} e:sequent {
  {rdf:type rdfs:domain owl:Thing} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_167>}. 
  {{owl:Class rdfs:subClassOf rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_15>. 
   {<http://www.w3.org/2002/03owlt/Class/premises003#ex> a owl:Class} e:evidence <http://www.w3.org/2002/03owlt/Class/premises003.rdf#_1>} e:sequent {
  {<http://www.w3.org/2002/03owlt/Class/premises003#ex> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/Class/premises003#ex> rdfs:subClassOf owl:Thing} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_131>}} e:sequent {
{<http://www.w3.org/2002/03owlt/Class/premises003#ex> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 

# Proof found in 24638 steps (223961 steps/sec) using 1 engine (432 triples)
}.

# No proof found in 8000027 steps (208144 steps/sec) using 1 engine (433 triples)
# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 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/2002/03owlt/FunctionalProperty/Manifest001.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 

# Proof found in 1 step (100000 steps/sec) using 1 engine (435 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 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/2002/03owlt/FunctionalProperty/Manifest002.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object2> <http://www.example.org/prop2> "value"} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002.rdf#_1>. 

# Proof found in 1 step (100000 steps/sec) using 1 engine (436 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 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/2002/03owlt/FunctionalProperty/Manifest003.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{{owl:inverseOf rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_38>. 
  {<http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop> owl:inverseOf <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv>} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.rdf#_2>} e:sequent {
 {<http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv> owl:inverseOf <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
 {<http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop> a owl:FunctionalProperty} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.rdf#_1>} e:sequent {
{<http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#InverseFunctionalProperty>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_134>}. 

# Proof found in 153 steps (15300000 steps/sec) using 1 engine (434 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 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/2002/03owlt/FunctionalProperty/Manifest004.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#Singleton> owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff6_21_} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.rdf#_2>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff6_21_ rdf:first _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff5_21_} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.rdf#_3>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff6_21_ rdf:rest ()} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.rdf#_4>. 
 {<http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#prop> rdfs:range <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#Singleton>} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.rdf#_6>} e:sequent {
{<http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_135>}. 

# Proof found in 334 steps (33366 steps/sec) using 1 engine (438 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:22 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/2002/03owlt/FunctionalProperty/Manifest005.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/FunctionalProperty/premises005.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ <http://www.w3.org/2002/07/owl#onProperty> <http://www.example.org/foo#prop>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ <http://www.w3.org/2002/07/owl#maxCardinality> "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{<http://www.example.org/foo#object> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ owl:onProperty <http://www.example.org/foo#prop>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_ owl:maxCardinality "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
 {"1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {<http://www.example.org/foo#prop> a owl:FunctionalProperty} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises005.rdf#_2>} e:sequent {
{<http://www.example.org/foo#object> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff4_5_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_155>}. 
{<http://www.example.org/foo#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>} e:evidence <http://www.w3.org/2002/03owlt/FunctionalProperty/premises005.rdf#_2>. 

# Proof found in 2368 steps (8426 steps/sec) using 1 engine (434 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:24 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/2002/03owlt/I4.5/Manifest001.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<http://www.w3.org/2002/03owlt/I4.5/premises001#EuroMP> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_12>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:onProperty <http://www.w3.org/2002/03owlt/I4.5/premises001#isEuroMPFrom>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_6>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:someValuesFrom <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_7>. 
 {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:onProperty <http://www.w3.org/2002/03owlt/I4.5/premises001#isEuroMPFrom>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_6>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:someValuesFrom <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_7>. 
  {<http://www.w3.org/2002/03owlt/I4.5/premises001#EuroMP> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ rdfs:subClassOf <http://www.w3.org/2002/03owlt/I4.5/premises001#EuroMP>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:onProperty <http://www.w3.org/2002/03owlt/I4.5/premises001#isEuroMPFrom>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_6>. 
    {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_ owl:someValuesFrom owl:Thing} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_7>. 
    {<http://www.w3.org/2002/03owlt/I4.5/premises001#isEuroMPFrom> owl:inverseOf <http://www.w3.org/2002/03owlt/I4.5/premises001#hasEuroMP>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_20>. 
    {{{owl:inverseOf rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_38>. 
      {<http://www.w3.org/2002/03owlt/I4.5/premises001#isEuroMPFrom> owl:inverseOf <http://www.w3.org/2002/03owlt/I4.5/premises001#hasEuroMP>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_20>} e:sequent {
     {<http://www.w3.org/2002/03owlt/I4.5/premises001#hasEuroMP> owl:inverseOf <http://www.w3.org/2002/03owlt/I4.5/premises001#isEuroMPFrom>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
     {<http://www.w3.org/2002/03owlt/I4.5/premises001#hasEuroMP> rdfs:domain <http://www.w3.org/2002/03owlt/I4.5/premises001#EUCountry>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_14>} e:sequent {
    {<http://www.w3.org/2002/03owlt/I4.5/premises001#isEuroMPFrom> rdfs:range <http://www.w3.org/2002/03owlt/I4.5/premises001#EUCountry>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_172>}. 
    {<http://www.w3.org/2002/03owlt/I4.5/premises001#UK> <http://www.w3.org/2002/03owlt/I4.5/premises001#hasEuroMP> <http://www.w3.org/2002/03owlt/I4.5/premises001#Kinnock>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_9>. 
    {{<http://www.w3.org/2002/03owlt/I4.5/premises001#EUCountry> owl:oneOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff3_25_} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_25>. 
     {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff3_25_ rdf:first <http://www.w3.org/2002/03owlt/I4.5/premises001#UK>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_21>} e:sequent {
     {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7ff3_25_ :item <http://www.w3.org/2002/03owlt/I4.5/premises001#UK>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
    {<http://www.w3.org/2002/03owlt/I4.5/premises001#UK> a <http://www.w3.org/2002/03owlt/I4.5/premises001#EUCountry>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_143>}} e:sequent {
   {<http://www.w3.org/2002/03owlt/I4.5/premises001#Kinnock> a _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fed_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_153>}} e:sequent {
  {<http://www.w3.org/2002/03owlt/I4.5/premises001#Kinnock> a <http://www.w3.org/2002/03owlt/I4.5/premises001#EuroMP>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I4.5/premises001#Kinnock> <http://www.w3.org/2002/03owlt/I4.5/premises001#isEuroMPFrom> _:O_2_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_193>}. 
 {_:O_2_ a <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
{<http://www.w3.org/2002/03owlt/I4.5/premises001#Kinnock> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/I4.5/premises001#EuroMP>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_142>}. 
{<http://www.w3.org/2002/03owlt/I4.5/premises001#EuroMP> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I4.5/premises001.rdf#_11>. 

# Proof found in 4237 steps (211744 steps/sec) using 1 engine (465 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:24 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/2002/03owlt/I4.6/Manifest003.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/I4.6/premises003.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2002/03owlt/I4.6/premises003#C1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I4.6/premises003.rdf#_1>. 
{<http://www.w3.org/2002/03owlt/I4.6/premises003#C1> <http://www.w3.org/2002/07/owl#equivalentClass> <http://www.w3.org/2002/03owlt/I4.6/premises003#C2>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{<http://www.w3.org/2002/03owlt/I4.6/premises003#C2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I4.6/premises003.rdf#_1>. 

# Proof found in 9 steps (900000 steps/sec) using 1 engine (435 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:24 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/2002/03owlt/I5.1/Manifest001.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/I5.1/premises001.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fec_29_ <http://example.org/vocab#population> "2688418"} e:evidence <http://www.w3.org/2002/03owlt/I5.1/premises001.rdf#_5>. 
{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fec_29_ <http://example.org/vocab#stateBird> <http://example.org/vocab#WesternMeadowlark>} e:evidence <http://www.w3.org/2002/03owlt/I5.1/premises001.rdf#_2>. 

# Proof found in 2 steps (200000 steps/sec) using 1 engine (436 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:24 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/2002/03owlt/I5.2/Manifest002.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/I5.2/premises002.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises002.rdf#_1>. 
{{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe8_31_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises002#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises002.rdf#_8>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe8_31_ owl:maxCardinality "0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises002.rdf#_9>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe9_31_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises002#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises002.rdf#_5>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe9_31_ owl:minCardinality "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises002.rdf#_6>. 
 {"0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> math:lessThan "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {<http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe8_31_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises002.rdf#_3>. 
 {<http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe9_31_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises002.rdf#_2>} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing> <http://www.w3.org/2002/07/owl#equivalentClass> <http://www.w3.org/2002/07/owl#Nothing>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_112>}. 
{{rdfs:Class rdfs:subClassOf <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_15>. 
 {{owl:oneOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_42>. 
  {<http://www.w3.org/2002/07/owl#Nothing> owl:oneOf ()} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_22>} e:sequent {
 {<http://www.w3.org/2002/07/owl#Nothing> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{<http://www.w3.org/2002/07/owl#Nothing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}. 

# Proof found in 55348 steps (197664 steps/sec) using 1 engine (442 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:25 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/2002/03owlt/I5.2/Manifest004.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2002/03owlt/I5.2/premises004#notA> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_5>. 
{{<http://www.w3.org/2002/07/owl#complementOf> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_32>. 
 {{<http://www.w3.org/2002/03owlt/I5.2/premises004#A> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe5_33_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_15>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe5_33_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises004#q>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_3>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe5_33_ owl:someValuesFrom <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_4>. 
  {<http://www.w3.org/2002/07/owl#Thing> owl:equivalentClass owl:Thing} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {<http://www.w3.org/2002/03owlt/I5.2/premises004#notA> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe4_33_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_6>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe4_33_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises004#q>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_12>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe4_33_ owl:allValuesFrom <http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_13>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe6_33_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises004#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_21>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe6_33_ owl:maxCardinality "0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_22>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe7_33_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises004#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_9>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe7_33_ owl:minCardinality "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_10>. 
   {"0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> math:lessThan "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe6_33_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_19>. 
   {<http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe7_33_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_18>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing> owl:equivalentClass owl:Nothing} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_112>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.2/premises004#A> <http://www.w3.org/2002/07/owl#complementOf> <http://www.w3.org/2002/03owlt/I5.2/premises004#notA>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_176>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.2/premises004#notA> <http://www.w3.org/2002/07/owl#complementOf> <http://www.w3.org/2002/03owlt/I5.2/premises004#A>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{<http://www.w3.org/2002/03owlt/I5.2/premises004#A> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises004.rdf#_14>. 

# Proof found in 7784 steps (194551 steps/sec) using 1 engine (455 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:25 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/2002/03owlt/I5.2/Manifest006.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2002/03owlt/I5.2/premises006#B> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_22>. 
{<http://www.w3.org/2002/03owlt/I5.2/premises006#A> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_27>. 
{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_ rdf:first <http://www.w3.org/2002/03owlt/I5.2/premises006#B>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_ rdf:rest ()} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{<http://www.w3.org/2002/03owlt/I5.2/premises006#AorB> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_47>. 
{{{<http://www.w3.org/2002/03owlt/I5.2/premises006#AorB> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdb_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_48>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdb_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#s>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_43>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdb_35_ owl:someValuesFrom <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_44>. 
  {<http://www.w3.org/2002/07/owl#Thing> owl:equivalentClass owl:Thing} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {<http://www.w3.org/2002/03owlt/I5.2/premises006#notAorB> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fda_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_15>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fda_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#s>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_6>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fda_35_ owl:allValuesFrom <http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_7>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_25>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:maxCardinality "0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_26>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_2>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:minCardinality "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_3>. 
   {"0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> math:lessThan "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_18>. 
   {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_17>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> owl:equivalentClass owl:Nothing} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_112>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.2/premises006#AorB> owl:complementOf <http://www.w3.org/2002/03owlt/I5.2/premises006#notAorB>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_176>}. 
 {<http://www.w3.org/2002/03owlt/I5.2/premises006#notAorB> owl:intersectionOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdd_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_14>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdd_35_ rdf:first <http://www.w3.org/2002/03owlt/I5.2/premises006#notA>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_45>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdd_35_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdc_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_46>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdc_35_ rdf:first <http://www.w3.org/2002/03owlt/I5.2/premises006#notB>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_11>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdc_35_ rdf:rest ()} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_12>. 
 {{<http://www.w3.org/2002/03owlt/I5.2/premises006#A> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe1_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_28>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe1_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#q>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_32>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe1_35_ owl:someValuesFrom <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_33>. 
  {<http://www.w3.org/2002/07/owl#Thing> owl:equivalentClass owl:Thing} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {<http://www.w3.org/2002/03owlt/I5.2/premises006#notA> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe0_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_21>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe0_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#q>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_9>. 
  {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe0_35_ owl:allValuesFrom <http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_10>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_25>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:maxCardinality "0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_26>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_2>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:minCardinality "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_3>. 
   {"0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> math:lessThan "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_18>. 
   {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_17>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> owl:equivalentClass owl:Nothing} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_112>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.2/premises006#A> owl:complementOf <http://www.w3.org/2002/03owlt/I5.2/premises006#notA>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_176>}. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_ rdf:first <http://www.w3.org/2002/03owlt/I5.2/premises006#A>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_ rdf:first <http://www.w3.org/2002/03owlt/I5.2/premises006#B>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
 {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_ rdf:rest ()} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
 {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_32>. 
  {{owl:complementOf rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_32>. 
   {{<http://www.w3.org/2002/03owlt/I5.2/premises006#B> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdf_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_23>. 
    {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdf_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#r>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_35>. 
    {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fdf_35_ owl:someValuesFrom <http://www.w3.org/2002/07/owl#Thing>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_36>. 
    {<http://www.w3.org/2002/07/owl#Thing> owl:equivalentClass owl:Thing} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
    {<http://www.w3.org/2002/03owlt/I5.2/premises006#notB> owl:equivalentClass _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fde_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_30>. 
    {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fde_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#r>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_40>. 
    {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fde_35_ owl:allValuesFrom <http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_41>. 
    {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_25>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_ owl:maxCardinality "0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_26>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.2/premises006#p>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_2>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_ owl:minCardinality "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_3>. 
   {"0"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> math:lessThan "1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe2_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_18>. 
   {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fe3_35_} e:evidence <http://www.w3.org/2002/03owlt/I5.2/premises006.rdf#_17>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing> owl:equivalentClass owl:Nothing} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_112>}} e:sequent {
   {<http://www.w3.org/2002/03owlt/I5.2/premises006#B> owl:complementOf <http://www.w3.org/2002/03owlt/I5.2/premises006#notB>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_176>}} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.2/premises006#notB> owl:complementOf <http://www.w3.org/2002/03owlt/I5.2/premises006#B>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.2/premises006#B> owl:complementOf <http://www.w3.org/2002/03owlt/I5.2/premises006#notB>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.2/premises006#AorB> <http://www.w3.org/2002/07/owl#unionOf> _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_179>}. 
{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_ rdf:first <http://www.w3.org/2002/03owlt/I5.2/premises006#A>} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd9_5_ rdf:rest _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd8_5_} e:evidence <http://www.w3.org/2002/07/owl#kb>. 

# Proof found in 37886 steps (236772 steps/sec) using 1 engine (482 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:15:25 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/2002/03owlt/I5.21/Manifest002.rdf>!log:semantics
 <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-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/xsd-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://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 p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_67>. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_68>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_69>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_71>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_72>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_44>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_45>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_41>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_42>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_34>. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_35>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_36>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_11>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_12>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_29>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_30>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_14>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_15>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_35>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_36>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_11>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_12>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_56>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_57>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_5>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_6>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_35>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_36>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_11>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_12>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_59>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_60>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_17>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_18>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_35>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_36>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_11>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_12>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_2>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_3>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_23>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_24>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_35>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_36>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_11>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_12>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_68>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_69>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_71>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_72>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_35>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_36>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_11>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd1_37_ owl:hasValue "Gekkonidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_12>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_44>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_45>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_41>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_42>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Gekkonidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_1>. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_2>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_3>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_23>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_24>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_68>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_69>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_71>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_72>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_2>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_3>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_23>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_24>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_44>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_45>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_41>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_42>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_43>. 
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_58>. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_59>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_60>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_17>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_18>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_2>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_3>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_23>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_24>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_59>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_60>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_17>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_18>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_68>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_69>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_71>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_72>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_59>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_60>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_17>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_18>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_44>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_45>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_41>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_42>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_55>. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_56>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_57>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_5>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_6>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_59>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_60>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_17>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_18>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_56>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_57>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_5>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_6>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_2>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_3>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_23>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_24>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_56>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_57>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_5>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_6>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_68>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_69>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_71>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_72>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_56>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_57>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_5>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_6>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_44>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_45>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_41>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_42>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_28>. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_29>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_30>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_14>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_15>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_56>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_57>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_5>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcf_37_ owl:hasValue "Cordylidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_6>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Cordylidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_29>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_30>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_14>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_15>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_59>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_60>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_17>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fce_37_ owl:hasValue "Bipedidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_18>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Bipedidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_29>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_30>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_14>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_15>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_2>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_3>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_23>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcd_37_ owl:hasValue "Leptotyphlopidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_24>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Leptotyphlopidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_29>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_30>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_14>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_15>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_68>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_69>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_71>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcc_37_ owl:hasValue "Xantusiidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_72>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Xantusiidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/2001/XMLSchema#int> math:equalTo 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_21>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_29>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_30>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_14>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd0_37_ owl:hasValue "Sphenodontidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_15>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf <http://www.w3.org/2002/03owlt/I5.21/premises002#Reptile>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_44>. 
   {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> rdfs:subClassOf _:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_45>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_41>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fcb_37_ owl:hasValue "Loxocemidae"} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_42>} e:sequent {
  {<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_164>}} e:sequent {
 {<http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
{<http://www.w3.org/2002/03owlt/I5.21/premises002#Sphenodontidae> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.21/premises002#Loxocemidae>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}. 
{{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
 {{<http://www.w3.org/2002/07/owl#disjointWith> rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_34>. 
  {{_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:onProperty <http://www.w3.org/2002/03owlt/I5.21/premises002#family-name>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_38>. 
   {_:AX2dX317445d8X3aX10741e146d0X3aXX2dX7fd7_37_ owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.w3.org/2002/03owlt/I5.21/premises002.rdf#_39>. 
   {"1"^^<http://www.w3.org/