# Generated with http://eulersharp.sourceforge.net/ version 1.4.28 on 31 Jan 2006 10:30: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/danc.n3>!log:semantics)!log:conjunction =>
{
@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#>.

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

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

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

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

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

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

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