# 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.w3.org/2001/08swws67/poolGame-kb.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix : <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.

{<http://www.w3.org/2001/08swws67/poolGame.n3#EricDanBayArea> <http://www.w3.org/2001/08swws67/poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>} e:evidence <http://www.w3.org/2001/08swws67/poolGame-kb.n3#_503>. 

# Proof found in 1 step (100000 steps/sec) using 1 engine (916 triples)
}.