# Generated with http://eulersharp.sourceforge.net/ version 1.4.28 on 31 Jan 2006 10:30:15 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/authen.axiom.n3>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@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/authen.axiom#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<mailto:jos.deroo@agfa.com> :member <http://www.agfa.com>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_8>. 
 {<http://www.agfa.com> :w3cmember <http://www.w3.org>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_9>. 
 {<http://www.agfa.com> :subscribed <mailto:w3c-ac-forum@w3.org/>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_10>} => {
{<mailto:jos.deroo@agfa.com> :authenticated <mailto:w3c-ac-forum@w3.org/>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_16>}. 

# Proof found in 3 steps (300000 steps/sec) using 1 engine (4 triples)
}.