# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:19:31 GMT+01:00 2001
# 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/rdfs-rules.n3, http://www.agfa.com/w3c/euler/wol-rules.n3]

@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/wol-rules#>.
@prefix : <http://www.agfa.com/w3c/euler/graph#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix mt: <http://www.w3.org/TR/rdf-mt/#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

 {:route a ont:TransitiveProperty.
   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
    :twoway rdfs:subPropertyOf :route.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :oneway rdfs:subPropertyOf :twoway.
      :parijs :oneway :orleans} log:implies
    {:parijs :twoway :orleans}} log:implies
  {:parijs :route :orleans}.
   {:route a ont:TransitiveProperty.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :twoway rdfs:subPropertyOf :route.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :oneway rdfs:subPropertyOf :twoway.
        :orleans :oneway :blois} log:implies
      {:orleans :twoway :blois}} log:implies
    {:orleans :route :blois}.
     {:route a ont:TransitiveProperty.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :blois :oneway :tours} log:implies
        {:blois :twoway :tours}} log:implies
      {:blois :route :tours}.
       {:route a ont:TransitiveProperty.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :twoway rdfs:subPropertyOf :route.
           {:twoway ont:inverseOf :twoway.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :lemans :oneway :tours} log:implies
            {:lemans :twoway :tours}} log:implies
          {:tours :twoway :lemans}} log:implies
        {:tours :route :lemans}.
         {:route a ont:TransitiveProperty.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :lemans :oneway :angers} log:implies
            {:lemans :twoway :angers}} log:implies
          {:lemans :route :angers}.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :angers :oneway :nantes} log:implies
            {:angers :twoway :nantes}} log:implies
          {:angers :route :nantes}} log:implies
        {:lemans :route :nantes}} log:implies
      {:tours :route :nantes}} log:implies
    {:blois :route :nantes}} log:implies
  {:orleans :route :nantes}} log:implies
{:parijs :route :nantes}.

 {:route a ont:TransitiveProperty.
   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
    :twoway rdfs:subPropertyOf :route.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :oneway rdfs:subPropertyOf :twoway.
      :parijs :oneway :orleans} log:implies
    {:parijs :twoway :orleans}} log:implies
  {:parijs :route :orleans}.
   {:route a ont:TransitiveProperty.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :twoway rdfs:subPropertyOf :route.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :oneway rdfs:subPropertyOf :twoway.
        :orleans :oneway :blois} log:implies
      {:orleans :twoway :blois}} log:implies
    {:orleans :route :blois}.
     {:route a ont:TransitiveProperty.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :blois :oneway :tours} log:implies
        {:blois :twoway :tours}} log:implies
      {:blois :route :tours}.
       {:route a ont:TransitiveProperty.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :twoway rdfs:subPropertyOf :route.
           {:twoway ont:inverseOf :twoway.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :lemans :oneway :tours} log:implies
            {:lemans :twoway :tours}} log:implies
          {:tours :twoway :lemans}} log:implies
        {:tours :route :lemans}.
         {:route a ont:TransitiveProperty.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :lemans :oneway :angers} log:implies
            {:lemans :twoway :angers}} log:implies
          {:lemans :route :angers}.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {:twoway ont:inverseOf :twoway.
               {:twoway ont:inverseOf :twoway.
                 {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                  :oneway rdfs:subPropertyOf :twoway.
                  :angers :oneway :nantes} log:implies
                {:angers :twoway :nantes}} log:implies
              {:nantes :twoway :angers}} log:implies
            {:angers :twoway :nantes}} log:implies
          {:angers :route :nantes}} log:implies
        {:lemans :route :nantes}} log:implies
      {:tours :route :nantes}} log:implies
    {:blois :route :nantes}} log:implies
  {:orleans :route :nantes}} log:implies
{:parijs :route :nantes}.

 {:route a ont:TransitiveProperty.
   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
    :twoway rdfs:subPropertyOf :route.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :oneway rdfs:subPropertyOf :twoway.
      :parijs :oneway :orleans} log:implies
    {:parijs :twoway :orleans}} log:implies
  {:parijs :route :orleans}.
   {:route a ont:TransitiveProperty.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :twoway rdfs:subPropertyOf :route.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :oneway rdfs:subPropertyOf :twoway.
        :orleans :oneway :blois} log:implies
      {:orleans :twoway :blois}} log:implies
    {:orleans :route :blois}.
     {:route a ont:TransitiveProperty.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :blois :oneway :tours} log:implies
        {:blois :twoway :tours}} log:implies
      {:blois :route :tours}.
       {:route a ont:TransitiveProperty.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :twoway rdfs:subPropertyOf :route.
           {:twoway ont:inverseOf :twoway.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :lemans :oneway :tours} log:implies
            {:lemans :twoway :tours}} log:implies
          {:tours :twoway :lemans}} log:implies
        {:tours :route :lemans}.
         {:route a ont:TransitiveProperty.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :lemans :oneway :angers} log:implies
            {:lemans :twoway :angers}} log:implies
          {:lemans :route :angers}.
           {:route a ont:TransitiveProperty.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :twoway rdfs:subPropertyOf :route.
               {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                :oneway rdfs:subPropertyOf :twoway.
                :angers :oneway :nantes} log:implies
              {:angers :twoway :nantes}} log:implies
            {:angers :route :nantes}.
             {:route a ont:TransitiveProperty.
               {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                :twoway rdfs:subPropertyOf :route.
                 {:twoway ont:inverseOf :twoway.
                   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                    :oneway rdfs:subPropertyOf :twoway.
                    :angers :oneway :nantes} log:implies
                  {:angers :twoway :nantes}} log:implies
                {:nantes :twoway :angers}} log:implies
              {:nantes :route :angers}.
               {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                :twoway rdfs:subPropertyOf :route.
                 {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                  :oneway rdfs:subPropertyOf :twoway.
                  :angers :oneway :nantes} log:implies
                {:angers :twoway :nantes}} log:implies
              {:angers :route :nantes}} log:implies
            {:nantes :route :nantes}} log:implies
          {:angers :route :nantes}} log:implies
        {:lemans :route :nantes}} log:implies
      {:tours :route :nantes}} log:implies
    {:blois :route :nantes}} log:implies
  {:orleans :route :nantes}} log:implies
{:parijs :route :nantes}.

 {:route a ont:TransitiveProperty.
   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
    :twoway rdfs:subPropertyOf :route.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :oneway rdfs:subPropertyOf :twoway.
      :parijs :oneway :orleans} log:implies
    {:parijs :twoway :orleans}} log:implies
  {:parijs :route :orleans}.
   {:route a ont:TransitiveProperty.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :twoway rdfs:subPropertyOf :route.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :oneway rdfs:subPropertyOf :twoway.
        :orleans :oneway :blois} log:implies
      {:orleans :twoway :blois}} log:implies
    {:orleans :route :blois}.
     {:route a ont:TransitiveProperty.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :blois :oneway :tours} log:implies
        {:blois :twoway :tours}} log:implies
      {:blois :route :tours}.
       {:route a ont:TransitiveProperty.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :twoway rdfs:subPropertyOf :route.
           {:twoway ont:inverseOf :twoway.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :lemans :oneway :tours} log:implies
            {:lemans :twoway :tours}} log:implies
          {:tours :twoway :lemans}} log:implies
        {:tours :route :lemans}.
         {:route a ont:TransitiveProperty.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :lemans :oneway :angers} log:implies
            {:lemans :twoway :angers}} log:implies
          {:lemans :route :angers}.
           {:route a ont:TransitiveProperty.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :twoway rdfs:subPropertyOf :route.
               {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                :oneway rdfs:subPropertyOf :twoway.
                :angers :oneway :nantes} log:implies
              {:angers :twoway :nantes}} log:implies
            {:angers :route :nantes}.
             {:route a ont:TransitiveProperty.
               {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                :twoway rdfs:subPropertyOf :route.
                 {:twoway ont:inverseOf :twoway.
                   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                    :oneway rdfs:subPropertyOf :twoway.
                    :angers :oneway :nantes} log:implies
                  {:angers :twoway :nantes}} log:implies
                {:nantes :twoway :angers}} log:implies
              {:nantes :route :angers}.
               {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                :twoway rdfs:subPropertyOf :route.
                 {:twoway ont:inverseOf :twoway.
                   {:twoway ont:inverseOf :twoway.
                     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                      :oneway rdfs:subPropertyOf :twoway.
                      :angers :oneway :nantes} log:implies
                    {:angers :twoway :nantes}} log:implies
                  {:nantes :twoway :angers}} log:implies
                {:angers :twoway :nantes}} log:implies
              {:angers :route :nantes}} log:implies
            {:nantes :route :nantes}} log:implies
          {:angers :route :nantes}} log:implies
        {:lemans :route :nantes}} log:implies
      {:tours :route :nantes}} log:implies
    {:blois :route :nantes}} log:implies
  {:orleans :route :nantes}} log:implies
{:parijs :route :nantes}.

 {:route a ont:TransitiveProperty.
   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
    :twoway rdfs:subPropertyOf :route.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :oneway rdfs:subPropertyOf :twoway.
      :parijs :oneway :chartres} log:implies
    {:parijs :twoway :chartres}} log:implies
  {:parijs :route :chartres}.
   {:route a ont:TransitiveProperty.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :twoway rdfs:subPropertyOf :route.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :oneway rdfs:subPropertyOf :twoway.
        :chartres :oneway :lemans} log:implies
      {:chartres :twoway :lemans}} log:implies
    {:chartres :route :lemans}.
     {:route a ont:TransitiveProperty.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :lemans :oneway :angers} log:implies
        {:lemans :twoway :angers}} log:implies
      {:lemans :route :angers}.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :angers :oneway :nantes} log:implies
        {:angers :twoway :nantes}} log:implies
      {:angers :route :nantes}} log:implies
    {:lemans :route :nantes}} log:implies
  {:chartres :route :nantes}} log:implies
{:parijs :route :nantes}.

 {:route a ont:TransitiveProperty.
   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
    :twoway rdfs:subPropertyOf :route.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :oneway rdfs:subPropertyOf :twoway.
      :parijs :oneway :chartres} log:implies
    {:parijs :twoway :chartres}} log:implies
  {:parijs :route :chartres}.
   {:route a ont:TransitiveProperty.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :twoway rdfs:subPropertyOf :route.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :oneway rdfs:subPropertyOf :twoway.
        :chartres :oneway :lemans} log:implies
      {:chartres :twoway :lemans}} log:implies
    {:chartres :route :lemans}.
     {:route a ont:TransitiveProperty.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :lemans :oneway :angers} log:implies
        {:lemans :twoway :angers}} log:implies
      {:lemans :route :angers}.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {:twoway ont:inverseOf :twoway.
           {:twoway ont:inverseOf :twoway.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :angers :oneway :nantes} log:implies
            {:angers :twoway :nantes}} log:implies
          {:nantes :twoway :angers}} log:implies
        {:angers :twoway :nantes}} log:implies
      {:angers :route :nantes}} log:implies
    {:lemans :route :nantes}} log:implies
  {:chartres :route :nantes}} log:implies
{:parijs :route :nantes}.

 {:route a ont:TransitiveProperty.
   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
    :twoway rdfs:subPropertyOf :route.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :oneway rdfs:subPropertyOf :twoway.
      :parijs :oneway :chartres} log:implies
    {:parijs :twoway :chartres}} log:implies
  {:parijs :route :chartres}.
   {:route a ont:TransitiveProperty.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :twoway rdfs:subPropertyOf :route.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :oneway rdfs:subPropertyOf :twoway.
        :chartres :oneway :lemans} log:implies
      {:chartres :twoway :lemans}} log:implies
    {:chartres :route :lemans}.
     {:route a ont:TransitiveProperty.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :lemans :oneway :angers} log:implies
        {:lemans :twoway :angers}} log:implies
      {:lemans :route :angers}.
       {:route a ont:TransitiveProperty.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :twoway rdfs:subPropertyOf :route.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :oneway rdfs:subPropertyOf :twoway.
            :angers :oneway :nantes} log:implies
          {:angers :twoway :nantes}} log:implies
        {:angers :route :nantes}.
         {:route a ont:TransitiveProperty.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {:twoway ont:inverseOf :twoway.
               {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                :oneway rdfs:subPropertyOf :twoway.
                :angers :oneway :nantes} log:implies
              {:angers :twoway :nantes}} log:implies
            {:nantes :twoway :angers}} log:implies
          {:nantes :route :angers}.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
              :oneway rdfs:subPropertyOf :twoway.
              :angers :oneway :nantes} log:implies
            {:angers :twoway :nantes}} log:implies
          {:angers :route :nantes}} log:implies
        {:nantes :route :nantes}} log:implies
      {:angers :route :nantes}} log:implies
    {:lemans :route :nantes}} log:implies
  {:chartres :route :nantes}} log:implies
{:parijs :route :nantes}.

 {:route a ont:TransitiveProperty.
   {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
    :twoway rdfs:subPropertyOf :route.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :oneway rdfs:subPropertyOf :twoway.
      :parijs :oneway :chartres} log:implies
    {:parijs :twoway :chartres}} log:implies
  {:parijs :route :chartres}.
   {:route a ont:TransitiveProperty.
     {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
      :twoway rdfs:subPropertyOf :route.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :oneway rdfs:subPropertyOf :twoway.
        :chartres :oneway :lemans} log:implies
      {:chartres :twoway :lemans}} log:implies
    {:chartres :route :lemans}.
     {:route a ont:TransitiveProperty.
       {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
        :twoway rdfs:subPropertyOf :route.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :oneway rdfs:subPropertyOf :twoway.
          :lemans :oneway :angers} log:implies
        {:lemans :twoway :angers}} log:implies
      {:lemans :route :angers}.
       {:route a ont:TransitiveProperty.
         {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
          :twoway rdfs:subPropertyOf :route.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :oneway rdfs:subPropertyOf :twoway.
            :angers :oneway :nantes} log:implies
          {:angers :twoway :nantes}} log:implies
        {:angers :route :nantes}.
         {:route a ont:TransitiveProperty.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {:twoway ont:inverseOf :twoway.
               {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                :oneway rdfs:subPropertyOf :twoway.
                :angers :oneway :nantes} log:implies
              {:angers :twoway :nantes}} log:implies
            {:nantes :twoway :angers}} log:implies
          {:nantes :route :angers}.
           {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
            :twoway rdfs:subPropertyOf :route.
             {:twoway ont:inverseOf :twoway.
               {:twoway ont:inverseOf :twoway.
                 {ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
                  :oneway rdfs:subPropertyOf :twoway.
                  :angers :oneway :nantes} log:implies
                {:angers :twoway :nantes}} log:implies
              {:nantes :twoway :angers}} log:implies
            {:angers :twoway :nantes}} log:implies
          {:angers :route :nantes}} log:implies
        {:nantes :route :nantes}} log:implies
      {:angers :route :nantes}} log:implies
    {:lemans :route :nantes}} log:implies
  {:chartres :route :nantes}} log:implies
{:parijs :route :nantes}.

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