# 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/ziv.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/ziv#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{:rec010 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :film "Pokemon 2"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 

{:rec011 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :film "Billy Elliot"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 

{:rec012 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :film "The Mummy"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 

{:rec017 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :city "Jerusalem"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :film "A Hard Day's Night"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 

{:rec018 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :city "Jerusalem"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :film "15 Minutes"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 

# Proof found in 828 steps (11826 steps/sec) using 1 engine (108 triples)
}.