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

()!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.7 on 29 Sep 2005 13:07:19 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>!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 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/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<http://example.org/bar> rdfs:domain <http://example.org/Domain1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt#_14>. 
 {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt#_13>} e:sequent {
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{<http://example.org/bar> rdfs:domain <http://example.org/Domain2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt#_15>. 
 {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt#_13>} e:sequent {
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{<http://example.org/bar> rdfs:range <http://example.org/Range1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt#_14>. 
 {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt#_13>} e:sequent {
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}. 
{{<http://example.org/bar> rdfs:range <http://example.org/Range2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt#_15>. 
 {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt#_13>} e:sequent {
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}. 
{{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>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {<http://example.org/bar> rdfs:domain <http://example.org/Domain1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt#_14>} e:sequent {
  {<http://example.org/Domain1> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {<http://example.org/Domain1> rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{<http://example.org/Domain1> <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>}. 
{{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>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {<http://example.org/bar> rdfs:domain <http://example.org/Domain2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt#_15>} e:sequent {
  {<http://example.org/Domain2> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {<http://example.org/Domain2> rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{<http://example.org/Domain2> <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>}. 
{{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>. 
 {{{rdfs:range rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_30>. 
   {<http://example.org/bar> rdfs:range <http://example.org/Range1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt#_14>} e:sequent {
  {<http://example.org/Range1> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {<http://example.org/Range1> rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{<http://example.org/Range1> <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>}. 
{{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>. 
 {{{rdfs:range rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_30>. 
   {<http://example.org/bar> rdfs:range <http://example.org/Range2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt#_15>} e:sequent {
  {<http://example.org/Range2> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {<http://example.org/Range2> rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{<http://example.org/Range2> <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 292 steps (29200000 steps/sec) using 1 engine (64 triples)
}.

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

(<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>!log:semantics
 <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-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/owl-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/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_20>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_21>. 
{{<http://example.org/foo#ancestor> rdfs:subPropertyOf <http://example.org/foo#ancestor-or-uncle>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_22>. 
 {{<http://example.org/foo#ancestor> rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>} e:sequent {
 {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_22>. 
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
{{<http://example.org/foo#ancestor> rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>} e:sequent {
 {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}. 
{<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_27>. 
{<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_28>. 

# Proof found in 97 steps (9700000 steps/sec) using 1 engine (299 triples)
}.

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

(<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>!log:semantics
 <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-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/owl-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/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo#ancestor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/10/daml+oil#TransitiveProperty>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
{<http://example.org/foo#parent> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/foo#ancestor>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_21>. 
{<http://example.org/foo#ancestor> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/foo#ancestor-or-uncle>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_22>. 
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_20>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_21>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_22>. 
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
{<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_27>. 
{<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_28>. 

# Proof found in 16 steps (1600000 steps/sec) using 1 engine (299 triples)
}.

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

(<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>!log:semantics
 <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-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/owl-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/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_20>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_21>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_22>. 
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
{<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_27>. 
{<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_28>. 

# Proof found in 12 steps (1200000 steps/sec) using 1 engine (299 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:20 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/rdf/rdfs-transitive-subSubProperty/test003.nt>!log:semantics
 <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-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/owl-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/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<http://example.org/foo#ancestor> rdfs:subPropertyOf <http://example.org/foo#ancestor-or-uncle>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_22>. 
 {{<http://example.org/foo#ancestor> rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>} e:sequent {
 {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
{{<http://example.org/foo#ancestor> rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>} e:sequent {
 {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}. 

# Proof found in 85 steps (8500000 steps/sec) using 1 engine (299 triples)
}.


# Proof found in 507 steps (1032 steps/sec) using 6 engines (0 triples)
}.