# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:21 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/rdf-facts.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/log-facts.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@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/rdf-facts#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


{:x log:equalTo :x} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{:x log:notEqualTo :y} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{{:a :b :c. :d :e :f. :g :h :i} log:includes {:d :e :f}} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{{:a :b :c. :d :e :f. :g :h :i} log:notIncludes {:d :x :f}} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{:foo :bar :baz} e:evidence <http://www.agfa.com/w3c/euler/rdf-facts.n3#_5>. 

# Proof found in 7 steps (699 steps/sec) using 3 engines (2 triples)
}.