# Generated with http://eulersharp.sourceforge.net/ version 1.4.28 on 31 Jan 2006 10:30:28 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/easterP.n3>!log:semantics)!log:conjunction =>
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/easterP#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{2003 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_32>. 
{{2003 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_32>. 
 {(2003 19) math:remainder 8} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2003 100) math:integerQuotient 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2003 100) math:remainder 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:integerQuotient 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((20 8)!math:sum 25) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(((20 1)!math:difference 1)!math:sum 3) math:integerQuotient 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((((((19 8)!math:product 20)!math:sum 5)!math:difference 6)!math:difference 15)!math:sum 30) math:remainder 26} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(3 4) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(3 4) math:remainder 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((32 (2 0)!math:product (2 0)!math:product 26!math:negation 3!math:negation)!math:sum 7) math:remainder 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((8 (11 26)!math:product (22 3)!math:product)!math:sum 451) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((26 3 (7 0)!math:product!math:negation 114)!math:sum 31) math:integerQuotient 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((26 3 (7 0)!math:product!math:negation 114)!math:sum 31) math:remainder 19} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(19 1) math:sum 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} => {
{2003 :hasEasterOnDay 20} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_54>}. 
{{2003 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_32>. 
 {(2003 19) math:remainder 8} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2003 100) math:integerQuotient 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2003 100) math:remainder 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:integerQuotient 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((20 8)!math:sum 25) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(((20 1)!math:difference 1)!math:sum 3) math:integerQuotient 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((((((19 8)!math:product 20)!math:sum 5)!math:difference 6)!math:difference 15)!math:sum 30) math:remainder 26} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(3 4) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(3 4) math:remainder 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((32 (2 0)!math:product (2 0)!math:product 26!math:negation 3!math:negation)!math:sum 7) math:remainder 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((8 (11 26)!math:product (22 3)!math:product)!math:sum 451) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((26 3 (7 0)!math:product!math:negation 114)!math:sum 31) math:integerQuotient 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((26 3 (7 0)!math:product!math:negation 114)!math:sum 31) math:remainder 19} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(19 1) math:sum 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} => {
{2003 :hasEasterOnMonth 4} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_54>}. 

{2004 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_33>. 
{{2004 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_33>. 
 {(2004 19) math:remainder 9} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2004 100) math:integerQuotient 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2004 100) math:remainder 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:integerQuotient 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((20 8)!math:sum 25) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(((20 1)!math:difference 1)!math:sum 3) math:integerQuotient 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((((((19 9)!math:product 20)!math:sum 5)!math:difference 6)!math:difference 15)!math:sum 30) math:remainder 15} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(4 4) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(4 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((32 (2 0)!math:product (2 1)!math:product 15!math:negation 0!math:negation)!math:sum 7) math:remainder 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((9 (11 15)!math:product (22 5)!math:product)!math:sum 451) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((15 5 (7 0)!math:product!math:negation 114)!math:sum 31) math:integerQuotient 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((15 5 (7 0)!math:product!math:negation 114)!math:sum 31) math:remainder 10} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(10 1) math:sum 11} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} => {
{2004 :hasEasterOnDay 11} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_54>}. 
{{2004 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_33>. 
 {(2004 19) math:remainder 9} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2004 100) math:integerQuotient 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2004 100) math:remainder 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:integerQuotient 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((20 8)!math:sum 25) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(((20 1)!math:difference 1)!math:sum 3) math:integerQuotient 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((((((19 9)!math:product 20)!math:sum 5)!math:difference 6)!math:difference 15)!math:sum 30) math:remainder 15} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(4 4) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(4 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((32 (2 0)!math:product (2 1)!math:product 15!math:negation 0!math:negation)!math:sum 7) math:remainder 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((9 (11 15)!math:product (22 5)!math:product)!math:sum 451) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((15 5 (7 0)!math:product!math:negation 114)!math:sum 31) math:integerQuotient 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((15 5 (7 0)!math:product!math:negation 114)!math:sum 31) math:remainder 10} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(10 1) math:sum 11} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} => {
{2004 :hasEasterOnMonth 4} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_54>}. 

{2005 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_34>. 
{{2005 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_34>. 
 {(2005 19) math:remainder 10} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2005 100) math:integerQuotient 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2005 100) math:remainder 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:integerQuotient 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((20 8)!math:sum 25) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(((20 1)!math:difference 1)!math:sum 3) math:integerQuotient 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((((((19 10)!math:product 20)!math:sum 5)!math:difference 6)!math:difference 15)!math:sum 30) math:remainder 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(5 4) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(5 4) math:remainder 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((32 (2 0)!math:product (2 1)!math:product 4!math:negation 1!math:negation)!math:sum 7) math:remainder 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((10 (11 4)!math:product (22 1)!math:product)!math:sum 451) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((4 1 (7 0)!math:product!math:negation 114)!math:sum 31) math:integerQuotient 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((4 1 (7 0)!math:product!math:negation 114)!math:sum 31) math:remainder 26} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(26 1) math:sum 27} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} => {
{2005 :hasEasterOnDay 27} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_54>}. 
{{2005 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_34>. 
 {(2005 19) math:remainder 10} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2005 100) math:integerQuotient 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2005 100) math:remainder 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:integerQuotient 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((20 8)!math:sum 25) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(((20 1)!math:difference 1)!math:sum 3) math:integerQuotient 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((((((19 10)!math:product 20)!math:sum 5)!math:difference 6)!math:difference 15)!math:sum 30) math:remainder 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(5 4) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(5 4) math:remainder 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((32 (2 0)!math:product (2 1)!math:product 4!math:negation 1!math:negation)!math:sum 7) math:remainder 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((10 (11 4)!math:product (22 1)!math:product)!math:sum 451) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((4 1 (7 0)!math:product!math:negation 114)!math:sum 31) math:integerQuotient 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((4 1 (7 0)!math:product!math:negation 114)!math:sum 31) math:remainder 26} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(26 1) math:sum 27} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} => {
{2005 :hasEasterOnMonth 3} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_54>}. 

{2006 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_35>. 
{{2006 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_35>. 
 {(2006 19) math:remainder 11} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2006 100) math:integerQuotient 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2006 100) math:remainder 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:integerQuotient 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((20 8)!math:sum 25) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(((20 1)!math:difference 1)!math:sum 3) math:integerQuotient 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((((((19 11)!math:product 20)!math:sum 5)!math:difference 6)!math:difference 15)!math:sum 30) math:remainder 23} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(6 4) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(6 4) math:remainder 2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((32 (2 0)!math:product (2 1)!math:product 23!math:negation 2!math:negation)!math:sum 7) math:remainder 2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((11 (11 23)!math:product (22 2)!math:product)!math:sum 451) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((23 2 (7 0)!math:product!math:negation 114)!math:sum 31) math:integerQuotient 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((23 2 (7 0)!math:product!math:negation 114)!math:sum 31) math:remainder 15} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(15 1) math:sum 16} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} => {
{2006 :hasEasterOnDay 16} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_54>}. 
{{2006 a :Year} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_35>. 
 {(2006 19) math:remainder 11} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2006 100) math:integerQuotient 20} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(2006 100) math:remainder 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:integerQuotient 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(20 4) math:remainder 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((20 8)!math:sum 25) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(((20 1)!math:difference 1)!math:sum 3) math:integerQuotient 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((((((19 11)!math:product 20)!math:sum 5)!math:difference 6)!math:difference 15)!math:sum 30) math:remainder 23} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(6 4) math:integerQuotient 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(6 4) math:remainder 2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((32 (2 0)!math:product (2 1)!math:product 23!math:negation 2!math:negation)!math:sum 7) math:remainder 2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((11 (11 23)!math:product (22 2)!math:product)!math:sum 451) math:integerQuotient 0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((23 2 (7 0)!math:product!math:negation 114)!math:sum 31) math:integerQuotient 4} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {((23 2 (7 0)!math:product!math:negation 114)!math:sum 31) math:remainder 15} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {(15 1) math:sum 16} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} => {
{2006 :hasEasterOnMonth 4} e:evidence <http://www.agfa.com/w3c/euler/easterP.n3#_54>}. 

# Proof found in 988 steps (996 steps/sec) using 1 engine (7 triples)
}.