The cat eats the mouse. The cat is kind. The cat likes the mouse. The cat likes the tiger. The cat sees the tiger. The mouse eats the rabbit. The mouse is green. The mouse is rough. The mouse likes the tiger. The mouse sees the tiger. The rabbit is red. The rabbit likes the cat. The rabbit sees the mouse. The tiger is kind. The tiger is red. The tiger likes the cat. If something is round then it sees the cat. If something sees the cat then it eats the rabbit. If the mouse eats the rabbit then the mouse likes the rabbit. If something sees the cat then the cat is round. If something likes the cat then it likes the rabbit. If something likes the rabbit then the rabbit is round. If something sees the rabbit then it is red.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If something is round then it sees the cat.
((("something" "is" "round" "+")) -> ("something" "sees" "cat" "+"))
If something sees the cat then it eats the rabbit.
((("something" "sees" "cat" "+")) -> ("something" "eats" "rabbit" "+"))
If the mouse eats the rabbit then the mouse likes the rabbit.
((("mouse" "eats" "rabbit" "+")) -> ("mouse" "likes" "rabbit" "+"))
If something sees the cat then the cat is round.
((("something" "sees" "cat" "+")) -> ("cat" "is" "round" "+"))
If something likes the cat then it likes the rabbit.
((("something" "likes" "cat" "+")) -> ("something" "likes" "rabbit" "+"))
If something likes the rabbit then the rabbit is round.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If something sees the rabbit then it is red.
((("something" "sees" "rabbit" "+")) -> ("something" "is" "red" "+"))
The cat sees the tiger.
True
1
proof
[(triple5)]
("cat" "sees" "tiger" "+")
triple5
The mouse is not rough.
False
1
inv-proof
[(triple8)]
("mouse" "is" "rough" "-")
triple8
The rabbit likes the rabbit.
True
2
proof
[(((triple12) -> rule5))]
("rabbit" "likes" "rabbit" "+")
((triple12) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The mouse does not like the rabbit.
False
2
inv-proof
[(((triple6) -> rule3))]
("mouse" "likes" "rabbit" "-")
((triple6) -> (rule3 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The rabbit is round.
True
3
proof
[(((((triple12) -> rule5)) -> rule6) OR ((((triple16) -> rule5)) -> rule6) OR ((((triple6) -> rule3)) -> rule6))]
("rabbit" "is" "round" "+")
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
((((triple16) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The rabbit is not round.
False
3
inv-proof
[(((((triple12) -> rule5)) -> rule6) OR ((((triple16) -> rule5)) -> rule6) OR ((((triple6) -> rule3)) -> rule6))]
("rabbit" "is" "round" "-")
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
((((triple16) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The rabbit sees the cat.
True
4
proof
[(((((((triple12) -> rule5)) -> rule6)) -> rule1) OR ((((((triple16) -> rule5)) -> rule6)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6)) -> rule1))]
("rabbit" "sees" "cat" "+")
((((((triple12) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((((((triple16) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int3
The rabbit does not see the cat.
False
4
inv-proof
[(((((((triple12) -> rule5)) -> rule6)) -> rule1) OR ((((((triple16) -> rule5)) -> rule6)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6)) -> rule1))]
("rabbit" "sees" "cat" "-")
((((((triple12) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((((((triple16) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int3
The cat is round.
True
5
proof
[(((((((((triple12) -> rule5)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule5)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule6)) -> rule1)) -> rule4))]
("cat" "is" "round" "+")
((((((((triple12) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((((((triple16) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int4
The cat is not round.
False
5
inv-proof
[(((((((((triple12) -> rule5)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule5)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule6)) -> rule1)) -> rule4))]
("cat" "is" "round" "-")
((((((((triple12) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((((((triple16) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int4
The cat sees the cat.
True
6
proof
[(((((((((((triple12) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule1) OR ((((((((((triple16) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule3)) -> rule6)) -> rule1)) -> rule4)) -> rule1))]
("cat" "sees" "cat" "+")
((((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((((((((triple16) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int5
The cat does not see the cat.
False
6
inv-proof
[(((((((((((triple12) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule1) OR ((((((((((triple16) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule3)) -> rule6)) -> rule1)) -> rule4)) -> rule1))]
("cat" "sees" "cat" "-")
((((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((((((((triple16) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int5
The tiger does not see the cat.
Unknown
inv-rconc
[@1: The tiger sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "cat" "-")
The mouse is red.
Unknown
rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "red" "+")
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "red" "-")
The tiger eats the rabbit.
Unknown
rconc
[@2: The tiger eats the rabbit.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("tiger" "eats" "rabbit" "+")
The mouse does not see the cat.
Unknown
inv-rconc
[@1: The mouse sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "cat" "-")
The cat likes the rabbit.
Unknown
rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "likes" "rabbit" "+")
The rabbit does not like the mouse.
Unknown
inv-random
[@0: The rabbit likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "mouse" "-")
The rabbit eats the tiger.
Unknown
random
[@0: The rabbit eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "tiger" "+")
The rabbit does not see the tiger.
Unknown
inv-random
[@0: The rabbit sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The cat does not eat the tiger.
Unknown
inv-random
[@0: The cat eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "tiger" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The cat eats the mouse.[(triple1)] The cat is kind.[(triple2)] The cat likes the mouse.[(triple3)] The cat likes the tiger.[(triple4)] The cat sees the tiger.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is green.[(triple7)] The mouse is rough.[(triple8)] The mouse likes the tiger.[(triple9)] The mouse sees the tiger.[(triple10)] The rabbit is red.[(triple11)] The rabbit likes the cat.[(triple12)] The rabbit sees the mouse.[(triple13)] The tiger is kind.[(triple14)] The tiger is red.[(triple15)] The tiger likes the cat.[(triple16)] @1: The mouse likes the rabbit.[(((triple6) -> rule3))] The rabbit likes the rabbit.[(((triple12) -> rule5))] The tiger likes the rabbit.[(((triple16) -> rule5))] @2: The rabbit is round.[(((((triple12) -> rule5)) -> rule6) OR ((((triple16) -> rule5)) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] @3: The rabbit sees the cat.[(((((((triple12) -> rule5)) -> rule6)) -> rule1) OR ((((((triple16) -> rule5)) -> rule6)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6)) -> rule1))] @4: The cat is round.[(((((((((triple12) -> rule5)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule5)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule6)) -> rule1)) -> rule4))] The rabbit eats the rabbit.[(((((((((triple12) -> rule5)) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple16) -> rule5)) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6)) -> rule1)) -> rule2))] @5: The cat sees the cat.[(((((((((((triple12) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule1) OR ((((((((((triple16) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule3)) -> rule6)) -> rule1)) -> rule4)) -> rule1))] @6: The cat eats the rabbit.[(((((((((((((triple12) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule1)) -> rule2) OR ((((((((((((triple16) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule1)) -> rule2) OR ((((((((((((triple6) -> rule3)) -> rule6)) -> rule1)) -> rule4)) -> rule1)) -> rule2))]
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple4
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple5
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse is rough.
("mouse" "is" "rough" "+")
triple8
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple9
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple12
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple13
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple15
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple16
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
((triple6) -> (rule3 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple12) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
((triple16) -> (rule5 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
((((triple16) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((((((triple12) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((((((triple16) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int3
The cat is round.
("cat" "is" "round" "+")
((((((((triple12) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((((((triple16) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int4
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((((((triple12) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((((((triple16) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
((((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((((((((triple16) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((((((((((((triple12) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int6
((((((((((((triple16) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int6
((((((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int6