# Generated with http://www.agfa.com/w3c/euler/#R29034 on Mon Feb 04 21:34:08 CET 2002
# for query http://www.agfa.com/w3c/n3/b2.nt
# given [http://www.agfa.com/w3c/n3/b1.nt, http://www.agfa.com/w3c/euler/rdfr-theory.n3]

@prefix mt: <http://www.w3.org/TR/rdf-mt/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfr-theory#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {<http://example.org/re#stmt1> a rdf:Statement.
  <http://example.org/re#stmt1> rdf:subject <http://example.org/re#subject>.
  <http://example.org/re#stmt1> rdf:predicate <http://example.org/re#predicate>.
  <http://example.org/re#stmt1> rdf:object <http://example.org/re#object>.
  <http://example.org/re#stmt2> a rdf:Statement.
  <http://example.org/re#stmt2> rdf:subject <http://example.org/re#subject>.
  <http://example.org/re#stmt2> rdf:predicate <http://example.org/re#predicate>.
  <http://example.org/re#stmt2> rdf:object <http://example.org/re#object>.
  <http://example.org/re#stmt1> <http://example.org/re#property> <http://example.org/re#SomePropertyValue>} log:implies
{<http://example.org/re#stmt2> <http://example.org/re#property> <http://example.org/re#SomePropertyValue>}.

# Proof found for http://www.agfa.com/w3c/n3/b2.nt in 14 steps (14000000 steps/sec)