@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/8b98b360-9a70-4845-b52c-c675af60ad01#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://example.org/#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.

skolem:proof a r:Proof, r:Conjunction;
    r:component skolem:lemma1;
    r:component skolem:lemma2;
    r:component skolem:lemma3;
    r:component skolem:lemma4;
    r:component skolem:lemma5;
    r:component skolem:lemma6;
    r:component skolem:lemma7;
    r:component skolem:lemma8;
    r:component skolem:lemma9;
    r:component skolem:lemma10;
    r:component skolem:lemma11;
    r:component skolem:lemma12;
    r:component skolem:lemma13;
    r:component skolem:lemma14;
    r:component skolem:lemma15;
    r:component skolem:lemma16;
    r:component skolem:lemma17;
    r:component skolem:lemma18;
    r:component skolem:lemma19;
    r:component skolem:lemma20;
    r:component skolem:lemma21;
    r:component skolem:lemma22;
    r:component skolem:lemma23;
    r:component skolem:lemma24;
    r:component skolem:lemma25;
    r:component skolem:lemma26;
    r:component skolem:lemma27;
    r:gives [ log:graph (
        [ log:triple (2024 :easter (31 3))]
        [ log:triple (2025 :easter (20 4))]
        [ log:triple (2026 :easter (5 4))]
        [ log:triple (2027 :easter (28 3))]
        [ log:triple (2028 :easter (16 4))]
        [ log:triple (2029 :easter (1 4))]
        [ log:triple (2030 :easter (21 4))]
        [ log:triple (2031 :easter (13 4))]
        [ log:triple (2032 :easter (28 3))]
        [ log:triple (2033 :easter (17 4))]
        [ log:triple (2034 :easter (9 4))]
        [ log:triple (2035 :easter (25 3))]
        [ log:triple (2036 :easter (13 4))]
        [ log:triple (2037 :easter (5 4))]
        [ log:triple (2038 :easter (25 4))]
        [ log:triple (2039 :easter (10 4))]
        [ log:triple (2040 :easter (1 4))]
        [ log:triple (2041 :easter (21 4))]
        [ log:triple (2042 :easter (6 4))]
        [ log:triple (2043 :easter (29 3))]
        [ log:triple (2044 :easter (17 4))]
        [ log:triple (2045 :easter (9 4))]
        [ log:triple (2046 :easter (25 3))]
        [ log:triple (2047 :easter (14 4))]
        [ log:triple (2048 :easter (5 4))]
        [ log:triple (2049 :easter (18 4))]
        [ log:triple (2050 :easter (10 4))]
    )].

skolem:lemma1 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2024 :easter (31 3))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 0)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 0) math:sum 2024)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2024 :easter (31 3))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 0];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2024];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 31];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 3];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma2 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2025 :easter (20 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 1)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 1) math:sum 2025)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2025 :easter (20 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 1];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2025];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 20];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma3 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2026 :easter (5 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 2)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 2) math:sum 2026)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2026 :easter (5 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 2];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2026];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 5];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma4 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2027 :easter (28 3))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 3)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 3) math:sum 2027)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2027 :easter (28 3))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 3];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2027];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 28];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 3];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma5 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2028 :easter (16 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 4)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 4) math:sum 2028)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2028 :easter (16 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 4];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2028];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 16];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma6 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2029 :easter (1 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 5)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 5) math:sum 2029)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2029 :easter (1 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 5];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2029];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 1];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma7 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2030 :easter (21 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 6)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 6) math:sum 2030)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2030 :easter (21 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 6];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2030];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 21];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma8 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2031 :easter (13 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 7)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 7) math:sum 2031)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2031 :easter (13 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 7];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2031];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 13];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma9 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2032 :easter (28 3))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 8)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 8) math:sum 2032)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2032 :easter (28 3))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 8];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2032];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 28];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 3];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma10 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2033 :easter (17 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 9)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 9) math:sum 2033)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2033 :easter (17 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 9];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2033];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 17];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma11 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2034 :easter (9 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 10)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 10) math:sum 2034)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2034 :easter (9 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 10];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2034];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 9];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma12 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2035 :easter (25 3))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 11)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 11) math:sum 2035)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2035 :easter (25 3))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 11];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2035];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 25];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 3];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma13 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2036 :easter (13 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 12)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 12) math:sum 2036)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2036 :easter (13 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 12];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2036];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 13];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma14 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2037 :easter (5 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 13)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 13) math:sum 2037)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2037 :easter (5 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 13];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2037];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 5];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma15 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2038 :easter (25 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 14)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 14) math:sum 2038)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2038 :easter (25 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 14];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2038];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 25];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma16 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2039 :easter (10 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 15)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 15) math:sum 2039)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2039 :easter (10 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 15];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2039];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 10];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma17 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2040 :easter (1 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 16)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 16) math:sum 2040)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2040 :easter (1 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 16];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2040];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 1];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma18 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2041 :easter (21 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 17)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 17) math:sum 2041)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2041 :easter (21 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 17];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2041];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 21];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma19 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2042 :easter (6 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 18)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 18) math:sum 2042)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2042 :easter (6 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 18];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2042];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 6];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma20 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2043 :easter (29 3))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 19)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 19) math:sum 2043)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2043 :easter (29 3))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 19];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2043];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 29];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 3];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma21 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2044 :easter (17 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 20)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 20) math:sum 2044)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2044 :easter (17 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 20];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2044];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 17];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma22 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2045 :easter (9 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 21)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 21) math:sum 2045)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2045 :easter (9 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 21];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2045];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 9];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma23 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2046 :easter (25 3))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 22)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 22) math:sum 2046)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2046 :easter (25 3))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 22];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2046];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 25];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 3];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma24 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2047 :easter (14 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 23)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 23) math:sum 2047)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2047 :easter (14 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 23];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2047];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 14];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma25 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2048 :easter (5 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 24)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 24) math:sum 2048)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2048 :easter (5 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 24];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2048];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 5];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma26 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2049 :easter (18 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 25)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 25) math:sum 2049)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2049 :easter (18 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 25];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2049];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 18];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

skolem:lemma27 a r:Inference;
    r:gives [ log:graph (
        [ log:triple (2050 :easter (10 4))]
    )];
    r:evidence (
        [ a r:Fact; r:gives [ log:graph ([ log:triple (27 log:repeat 26)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple ((2024 26) math:sum 2050)])]]
        [ a r:Fact; r:gives [ log:graph ([ log:triple (2050 :easter (10 4))])]]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo 26];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo 2050];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 10];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo 4];
    r:rule [ a r:Fact; r:gives [ log:graph ([ log:triple ([ log:graph (
        [ log:triple (27 log:repeat var:x_0)]
        [ log:triple ((2024 var:x_0) math:sum var:x_1)]
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )] log:implies [ log:graph (
        [ log:triple (var:x_1 :easter (var:x_2 var:x_3))]
    )])])]].

