# Generated with http://www.agfa.com/w3c/euler/#R31030 on 30 Jul 2002 18:45:57 GMT
# for query http://www.agfa.com/w3c/euler/graph.lemma.n3
# given {http://www.agfa.com/w3c/euler/graph.axiom.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ont: <http://www.w3.org/2001/10/daml+oil#> .
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <http://www.agfa.com/w3c/euler/graph#> .
@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 nsns: <http://www.agfa.com/w3c/euler/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.agfa.com/w3c/euler/owl-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6a> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6a> .
      :angers :oneway :nantes} log:implies
    {:angers :twoway :nantes}} log:implies
  {:angers :path :nantes}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6a> .
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rule6a> .
        :lemans :oneway :angers} log:implies
      {:lemans :twoway :angers}} log:implies
    {:lemans :path :angers}.
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rule6a> .
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6a> .
          :chartres :oneway :lemans} log:implies
        {:chartres :twoway :lemans}} log:implies
      {:chartres :path :lemans}.
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rule6a> .
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6a> .
          :parijs :oneway :chartres} log:implies
        {:parijs :twoway :chartres}} log:implies
      {:parijs :path :chartres}} log:implies
    {:parijs :path :lemans}} log:implies
  {:parijs :path :angers}} log:implies
{:parijs :route :nantes}.

<http://www.agfa.com/w3c/euler/graph#path> <http://www.w3.org/2002/07/owl#equivalentTo> <http://www.agfa.com/w3c/euler/graph#route> .
<http://www.agfa.com/w3c/euler/graph#parijs> <http://www.w3.org/2002/07/owl#equivalentTo> <http://www.agfa.com/w3c/euler/graph#paris> .

# Proof found for http://www.agfa.com/w3c/euler/graph.lemma.n3 in 149 steps (19610 steps/sec)