# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:20:01 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/rdf-query.n3
# given [http://www.agfa.com/w3c/euler/rdf-rules.n3, http://www.agfa.com/w3c/euler/rdf-facts.n3]

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

:foo :bar :baz.:bar rdf:type rdf:Property.rdf:type rdf:type rdf:Property.

# Proof found for http://www.agfa.com/w3c/euler/rdf-query.n3 in 3 steps (251 steps/sec)