# Generated with http://eulersharp.sourceforge.net/ version 1.4.28 on 31 Jan 2006 10:30:23 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/animal.n3>!log:semantics)!log:conjunction =>
{
@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 : <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_8>. 
{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> _:e16_0_} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_9>. 
{_:e16_0_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_10>. 
{_:e16_0_ <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_11>. 
{_:e16_0_ <http://www.daml.org/2000/12/daml+oil#cardinality> "2"} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_12>. 
{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/2000/01/rdf-schema#label> "Animal"} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_13>. 

# Proof found in 7 steps (700000 steps/sec) using 1 engine (6 triples)
}.