# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:18 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/danc.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 dc: <http://purl.org/dc/elements/1.1/>.
@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/danc#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:e27168_6_ :includes _:e27176_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_7>. 

{_:e27200_6_ :includes _:e27208_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_10>. 

{_:e27220_6_ :includes _:e27228_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_11>. 

{_:e27248_6_ :includes _:e27256_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_12>. 

{_:e27268_6_ :includes _:e27276_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_13>. 

{_:e27296_6_ :includes _:e27304_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_14>. 

# Proof found in 6 steps (600000 steps/sec) using 1 engine (61 triples)
}.