# PxButton | test | java -Dhttp_proxy=%http_proxy% Euler manifest.n3 | entailment test case

@prefix log: <http://www.w3.org/2000/10/swap/log#> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> )
  log:entails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test001.nt> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> )
  log:entails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test002.nt> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> )
  log:entails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> )
  log:entails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.nt> .
  
( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> )
  log:notEntails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test006.nt> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> )
  log:notEntails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test007.nt> .