# Generated with http://eulersharp.sourceforge.net/ version 1.5.23 on 27 May 2006 12:19:16 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<file:/euler/graph.axiom.n3>!log:semantics
 <file:/euler/rpo-rules.n3>!log:semantics)!log:conjunction =>
{
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/graph.axiom#>.
@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#>.

{{:path a owl:TransitiveProperty} e:evidence <file:/euler/graph.axiom.n3#_20>. 
 {{:oneway rdfs:subPropertyOf :path} e:evidence <file:/euler/graph.axiom.n3#_19>. 
  {:angers :oneway :nantes} e:evidence <file:/euler/graph.axiom.n3#_17>} => {
 {:angers :path :nantes} e:evidence <file:/euler/rpo-rules.n3#_25>}. 
 {{:path a owl:TransitiveProperty} e:evidence <file:/euler/graph.axiom.n3#_20>. 
  {{:oneway rdfs:subPropertyOf :path} e:evidence <file:/euler/graph.axiom.n3#_19>. 
   {:lemans :oneway :angers} e:evidence <file:/euler/graph.axiom.n3#_15>} => {
  {:lemans :path :angers} e:evidence <file:/euler/rpo-rules.n3#_25>}. 
  {{:path a owl:TransitiveProperty} e:evidence <file:/euler/graph.axiom.n3#_20>. 
   {{:oneway rdfs:subPropertyOf :path} e:evidence <file:/euler/graph.axiom.n3#_19>. 
    {:chartres :oneway :lemans} e:evidence <file:/euler/graph.axiom.n3#_14>} => {
   {:chartres :path :lemans} e:evidence <file:/euler/rpo-rules.n3#_25>}. 
   {{:oneway rdfs:subPropertyOf :path} e:evidence <file:/euler/graph.axiom.n3#_19>. 
    {:paris :oneway :chartres} e:evidence <file:/euler/graph.axiom.n3#_9>} => {
   {:paris :path :chartres} e:evidence <file:/euler/rpo-rules.n3#_25>}} => {
  {:paris :path :lemans} e:evidence <file:/euler/rpo-rules.n3#_28>}} => {
 {:paris :path :angers} e:evidence <file:/euler/rpo-rules.n3#_28>}} => {
{:paris :path :nantes} e:evidence <file:/euler/rpo-rules.n3#_28>}. 

# Proof found in 262 steps (6548 steps/sec) using 1 engine (54 triples)
}.