The cat eats the squirrel. The cat is red. The cat is rough. The cat likes the squirrel. The cat visits the squirrel. The mouse is cold. The mouse is red. The mouse is rough. The mouse likes the cat. The mouse visits the cat. The rabbit eats the mouse. The rabbit eats the squirrel. The rabbit is red. The rabbit is rough. The rabbit visits the mouse. The squirrel eats the rabbit. If someone is red and they visit the rabbit then they eat the mouse. If someone visits the squirrel then the squirrel likes the mouse. If the rabbit visits the squirrel and the rabbit likes the mouse then the squirrel is red. If someone eats the rabbit and the rabbit eats the mouse then they are red. If someone likes the squirrel then they eat the rabbit. If someone is rough then they like the squirrel. If someone visits the rabbit and they eat the squirrel then the squirrel is rough. If someone likes the squirrel then they are kind. If someone is kind then they visit the rabbit.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
If someone is red and they visit the rabbit then they eat the mouse.
((("someone" "is" "red" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "eats" "mouse" "+"))
If someone visits the squirrel then the squirrel likes the mouse.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "likes" "mouse" "+"))
If the rabbit visits the squirrel and the rabbit likes the mouse then the squirrel is red.
((("rabbit" "visits" "squirrel" "+") ("rabbit" "likes" "mouse" "+")) -> ("squirrel" "is" "red" "+"))
If someone eats the rabbit and the rabbit eats the mouse then they are red.
((("someone" "eats" "rabbit" "+") ("rabbit" "eats" "mouse" "+")) -> ("someone" "is" "red" "+"))
If someone likes the squirrel then they eat the rabbit.
((("someone" "likes" "squirrel" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is rough then they like the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone visits the rabbit and they eat the squirrel then the squirrel is rough.
((("someone" "visits" "rabbit" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone likes the squirrel then they are kind.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they visit the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "rabbit" "+"))
The squirrel eats the rabbit.
True
1
proof
[(triple16 OR ((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5))]
("squirrel" "eats" "rabbit" "+")
triple16
((((((((((triple4) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
((((((((((((triple14) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
The cat does not visit the squirrel.
False
1
inv-proof
[(triple5)]
("cat" "visits" "squirrel" "-")
triple5
The squirrel likes the mouse.
True
2
proof
[(((triple5) -> rule2))]
("squirrel" "likes" "mouse" "+")
((triple5) -> (rule2 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is not red.
False
3
inv-proof
[(((triple16 triple11) -> rule4) OR ((triple16 ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4))]
("squirrel" "is" "red" "-")
((triple16 triple11) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple16 ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
((((((((((((triple4) -> (rule8 % int6))) -> (rule9 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int5
The cat is kind.
("cat" "is" "kind" "+")
int6
((((((((((((triple4) -> (rule8 % int10))) -> (rule9 % int9)) triple1) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule5 % int6)) ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int10
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int6
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int7
The squirrel is rough.
("squirrel" "is" "rough" "+")
int8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int9
((((((((((((((triple14) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5)) triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int7
((((((((((((((triple3) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int5
The cat is kind.
("cat" "is" "kind" "+")
int6
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int7
((((((((((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6)) triple12) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
((((((((((((((triple3) -> (rule6 % int11))) -> (rule8 % int10))) -> (rule9 % int9)) triple1) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule5 % int6)) ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int10
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int6
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int7
The squirrel is rough.
("squirrel" "is" "rough" "+")
int8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int9
The mouse eats the rabbit.
True
3
proof
[(((((triple8) -> rule6)) -> rule5))]
("mouse" "eats" "rabbit" "+")
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The rabbit does not eat the rabbit.
False
3
inv-proof
[(((((triple14) -> rule6)) -> rule5))]
("rabbit" "eats" "rabbit" "-")
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The rabbit visits the rabbit.
True
4
proof
[(((((((triple14) -> rule6)) -> rule8)) -> rule9))]
("rabbit" "visits" "rabbit" "+")
((((((triple14) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The cat does not eat the mouse.
False
5
inv-proof
[(((triple2 ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((triple4) -> rule5) triple11) -> rule4) ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((triple2 ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple4) -> rule5) triple11) -> rule4) ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule5) triple11) -> rule4) ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule5) triple11) -> rule4) ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple4) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((triple4) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1))]
("cat" "eats" "mouse" "-")
((triple2 ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((((triple4) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((triple2 ((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
((((((triple4) -> (rule5 % int6)) triple11) -> (rule4 % int5)) ((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int6
((((((((triple3) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
((((((((triple3) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((((triple3) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
((((((triple4) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int9
((((((triple4) -> (rule5 % int10)) ((triple13 ((((((triple14) -> (rule6 % int9))) -> (rule8 % int8))) -> (rule9 % int7))) -> (rule1 % int6))) -> (rule4 % int5)) ((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int6
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int7
The rabbit is kind.
("rabbit" "is" "kind" "+")
int8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int9
((((((((triple3) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int9
((((((((triple3) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int9
The squirrel likes the squirrel.
True
6
proof
[(((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6) OR ((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6))]
("squirrel" "likes" "squirrel" "+")
((((((((triple4) -> (rule8 % int4))) -> (rule9 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3)) triple12) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int5
The squirrel does not like the squirrel.
False
6
inv-proof
[(((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6) OR ((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6))]
("squirrel" "likes" "squirrel" "-")
((((((((triple4) -> (rule8 % int4))) -> (rule9 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3)) triple12) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int5
The squirrel is kind.
True
7
proof
[(((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) OR ((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8) OR ((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8))]
("squirrel" "is" "kind" "+")
((((((((((triple4) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
((((((((((((triple14) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
The squirrel is not kind.
False
7
inv-proof
[(((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) OR ((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8) OR ((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8))]
("squirrel" "is" "kind" "-")
((((((((((triple4) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
((((((((((((triple14) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
The mouse does not eat the cat.
Unknown
inv-random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "-")
The cat likes the mouse.
Unknown
random
[@0: The cat likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "mouse" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The cat does not like the rabbit.
Unknown
inv-random
[@0: The cat likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "rabbit" "-")
The rabbit likes the cat.
Unknown
random
[@0: The rabbit likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cat" "+")
The squirrel does not eat the cat.
Unknown
inv-random
[@0: The squirrel eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cat" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The squirrel does not visit the cat.
Unknown
inv-random
[@0: The squirrel visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "cat" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The rabbit likes the mouse.
Unknown
random
[@0: The rabbit likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "mouse" "+")
@0: The cat eats the squirrel.[(triple1)] The cat is red.[(triple2 OR ((((triple4) -> rule5) triple11) -> rule4) OR ((((((triple3) -> rule6)) -> rule5) triple11) -> rule4) OR ((((triple4) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) OR ((((((triple3) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4))] The cat is rough.[(triple3)] The cat likes the squirrel.[(triple4 OR ((triple3) -> rule6))] The cat visits the squirrel.[(triple5)] The mouse is cold.[(triple6)] The mouse is red.[(triple7 OR ((((((triple8) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((triple8) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4))] The mouse is rough.[(triple8)] The mouse likes the cat.[(triple9)] The mouse visits the cat.[(triple10)] The rabbit eats the mouse.[(triple11 OR ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1))] The rabbit eats the squirrel.[(triple12)] The rabbit is red.[(triple13 OR ((((((triple14) -> rule6)) -> rule5) triple11) -> rule4))] The rabbit is rough.[(triple14)] The rabbit visits the mouse.[(triple15)] The squirrel eats the rabbit.[(triple16 OR ((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5))] @1: The cat eats the rabbit.[(((triple4) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] The cat is kind.[(((triple4) -> rule8) OR ((((triple3) -> rule6)) -> rule8))] The mouse likes the squirrel.[(((triple8) -> rule6))] The rabbit likes the squirrel.[(((triple14) -> rule6))] The squirrel is red.[(((triple16 triple11) -> rule4) OR ((triple16 ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) OR ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4))] The squirrel likes the mouse.[(((triple5) -> rule2))] @2: The cat visits the rabbit.[(((((triple4) -> rule8)) -> rule9) OR ((((((triple3) -> rule6)) -> rule8)) -> rule9))] The mouse eats the rabbit.[(((((triple8) -> rule6)) -> rule5))] The mouse is kind.[(((((triple8) -> rule6)) -> rule8))] The rabbit eats the rabbit.[(((((triple14) -> rule6)) -> rule5))] The rabbit is kind.[(((((triple14) -> rule6)) -> rule8))] @3: The cat eats the mouse.[(((triple2 ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((triple4) -> rule5) triple11) -> rule4) ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((triple2 ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple4) -> rule5) triple11) -> rule4) ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule5) triple11) -> rule4) ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule5) triple11) -> rule4) ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple4) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((triple4) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1))] The mouse visits the rabbit.[(((((((triple8) -> rule6)) -> rule8)) -> rule9))] The rabbit visits the rabbit.[(((((((triple14) -> rule6)) -> rule8)) -> rule9))] The squirrel is rough.[(((((((triple4) -> rule8)) -> rule9) triple1) -> rule7) OR ((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7) OR ((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7))] @4: The mouse eats the mouse.[(((triple7 ((((((triple8) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple8) -> rule6)) -> rule5) triple11) -> rule4) ((((((triple8) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((triple8) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((triple8) -> rule6)) -> rule8)) -> rule9)) -> rule1))] The squirrel likes the squirrel.[(((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6) OR ((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6))] @5: The squirrel is kind.[(((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) OR ((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8) OR ((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8))] @6: The squirrel visits the rabbit.[(((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9) OR ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9) OR ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9))] @7: The squirrel eats the mouse.[(((((triple16 triple11) -> rule4) ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((triple16 ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((triple16 triple11) -> rule4) ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((triple16 triple11) -> rule4) ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((triple16 ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((triple16 ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) triple11) -> rule4) ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((triple4) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((((triple14) -> rule6)) -> rule8)) -> rule9) triple12) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1) OR ((((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule5) ((triple13 ((((((triple14) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule4) ((((((((((((((triple3) -> rule6)) -> rule8)) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule9)) -> rule1))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
((((triple4) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
((((triple4) -> (rule5 % int6)) ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int6
((((((triple3) -> (rule6 % int7))) -> (rule5 % int6)) ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int6
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int7
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
((triple3) -> (rule6 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is red.
("mouse" "is" "red" "+")
triple7
((((((triple8) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
((((((triple8) -> (rule6 % int7))) -> (rule5 % int6)) ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int7
The mouse is rough.
("mouse" "is" "rough" "+")
triple8
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple9
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple10
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple11
((triple13 ((((((triple14) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
((((((triple14) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple15
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple16
((((((((((triple4) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
((((((((((((triple14) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((triple4) -> (rule5 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
((triple4) -> (rule8 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple8) -> (rule6 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((triple14) -> (rule6 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple16 triple11) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple16 ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
((((((((((((triple4) -> (rule8 % int6))) -> (rule9 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int5
The cat is kind.
("cat" "is" "kind" "+")
int6
((((((((((((triple4) -> (rule8 % int10))) -> (rule9 % int9)) triple1) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule5 % int6)) ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int10
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int6
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int7
The squirrel is rough.
("squirrel" "is" "rough" "+")
int8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int9
((((((((((((((triple14) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5)) triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int7
((((((((((((((triple3) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int5
The cat is kind.
("cat" "is" "kind" "+")
int6
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int7
((((((((((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6)) triple12) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
((((((((((((((triple3) -> (rule6 % int11))) -> (rule8 % int10))) -> (rule9 % int9)) triple1) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule5 % int6)) ((triple13 ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int10
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int6
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int7
The squirrel is rough.
("squirrel" "is" "rough" "+")
int8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int9
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((triple5) -> (rule2 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
((((triple4) -> (rule8 % int2))) -> (rule9 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((triple14) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The cat eats the mouse.
("cat" "eats" "mouse" "+")
((triple2 ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((((triple4) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((triple2 ((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
((((((triple4) -> (rule5 % int6)) triple11) -> (rule4 % int5)) ((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int6
((((((((triple3) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
((((((((triple3) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((((triple3) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
((((((triple4) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int9
((((((triple4) -> (rule5 % int10)) ((triple13 ((((((triple14) -> (rule6 % int9))) -> (rule8 % int8))) -> (rule9 % int7))) -> (rule1 % int6))) -> (rule4 % int5)) ((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int6
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int7
The rabbit is kind.
("rabbit" "is" "kind" "+")
int8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int9
((((((((triple3) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int9
((((((((triple3) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int9
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
((((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((((triple14) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((((triple4) -> (rule8 % int3))) -> (rule9 % int2)) triple1) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((((((triple14) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) triple12) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) triple1) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple7 ((((((triple8) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((((((triple8) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((((triple8) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int5
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int6
((((((((triple8) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple8) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int10
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int9
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((((((triple4) -> (rule8 % int4))) -> (rule9 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3)) triple12) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int5
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((((((((triple4) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
((((((((((((triple14) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
((((((((((((triple4) -> (rule8 % int6))) -> (rule9 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int5
The cat is kind.
("cat" "is" "kind" "+")
int6
((((((((((((((triple14) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5)) triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int7
((((((((((((((triple3) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int5
The cat is kind.
("cat" "is" "kind" "+")
int6
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int7
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
((((triple16 triple11) -> (rule4 % int8)) ((((((((((((triple4) -> (rule8 % int7))) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int6
The cat is kind.
("cat" "is" "kind" "+")
int7
The squirrel is red.
("squirrel" "is" "red" "+")
int8
((((triple16 ((triple13 ((((((triple14) -> (rule6 % int12))) -> (rule8 % int11))) -> (rule9 % int10))) -> (rule1 % int9))) -> (rule4 % int8)) ((((((((((((triple4) -> (rule8 % int7))) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int10
The rabbit is kind.
("rabbit" "is" "kind" "+")
int11
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int12
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int6
The cat is kind.
("cat" "is" "kind" "+")
int7
The squirrel is red.
("squirrel" "is" "red" "+")
int8
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int9
((((((((((((((triple4) -> (rule8 % int9))) -> (rule9 % int8)) triple1) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((((((((((triple4) -> (rule8 % int9))) -> (rule9 % int8)) triple1) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int5
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int8
The cat is kind.
("cat" "is" "kind" "+")
int9
((((((((((((((triple4) -> (rule8 % int13))) -> (rule9 % int12)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((((((((triple4) -> (rule8 % int13))) -> (rule9 % int12)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int10
The squirrel is rough.
("squirrel" "is" "rough" "+")
int11
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int12
The cat is kind.
("cat" "is" "kind" "+")
int13
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int9
((((triple16 triple11) -> (rule4 % int9)) ((((((((((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6)) triple12) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The squirrel is red.
("squirrel" "is" "red" "+")
int9
((((triple16 triple11) -> (rule4 % int9)) ((((((((((((((triple3) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int6
The cat is kind.
("cat" "is" "kind" "+")
int7
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int8
The squirrel is red.
("squirrel" "is" "red" "+")
int9
((((triple16 ((triple13 ((((((triple14) -> (rule6 % int10))) -> (rule8 % int9))) -> (rule9 % int8))) -> (rule1 % int7))) -> (rule4 % int6)) ((((((((((((((triple14) -> (rule6 % int10))) -> (rule8 % int9))) -> (rule9 % int8)) triple12) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int10
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int7
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int8
The rabbit is kind.
("rabbit" "is" "kind" "+")
int9
((((triple16 ((triple13 ((((((triple14) -> (rule6 % int13))) -> (rule8 % int12))) -> (rule9 % int11))) -> (rule1 % int10))) -> (rule4 % int9)) ((((((((((((((triple3) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int10
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int11
The rabbit is kind.
("rabbit" "is" "kind" "+")
int12
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int13
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int6
The cat is kind.
("cat" "is" "kind" "+")
int7
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int8
The squirrel is red.
("squirrel" "is" "red" "+")
int9
((((((((((((((triple4) -> (rule8 % int12))) -> (rule9 % int11)) triple1) -> (rule7 % int10))) -> (rule6 % int9))) -> (rule5 % int8)) triple11) -> (rule4 % int7)) ((((((((((((((triple14) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple12) -> (rule7 % int10))) -> (rule6 % int9))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int11
The cat is kind.
("cat" "is" "kind" "+")
int12
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int6
The squirrel is red.
("squirrel" "is" "red" "+")
int7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int8
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int9
((((((((((((((triple4) -> (rule8 % int10))) -> (rule9 % int9)) triple1) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule5 % int6)) triple11) -> (rule4 % int5)) ((((((((((((((triple3) -> (rule6 % int4))) -> (rule8 % int10))) -> (rule9 % int9)) triple1) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int10
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int6
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int7
The squirrel is rough.
("squirrel" "is" "rough" "+")
int8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int9
((((((((((((((((triple14) -> (rule6 % int12))) -> (rule8 % int11))) -> (rule9 % int10)) triple12) -> (rule7 % int9))) -> (rule6 % int8))) -> (rule5 % int7)) triple11) -> (rule4 % int6)) ((((((((((((triple4) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int9))) -> (rule6 % int8))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int10
The rabbit is kind.
("rabbit" "is" "kind" "+")
int11
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int12
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int7
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int8
The squirrel is rough.
("squirrel" "is" "rough" "+")
int9
((((((((((((((((triple3) -> (rule6 % int10))) -> (rule8 % int9))) -> (rule9 % int8)) triple1) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((((((((((triple4) -> (rule8 % int9))) -> (rule9 % int8)) triple1) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int10
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int5
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int8
The cat is kind.
("cat" "is" "kind" "+")
int9
((((((((((((((((triple14) -> (rule6 % int10))) -> (rule8 % int9))) -> (rule9 % int8)) triple12) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((((((((((((triple14) -> (rule6 % int10))) -> (rule8 % int9))) -> (rule9 % int8)) triple12) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int10
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int5
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int8
The rabbit is kind.
("rabbit" "is" "kind" "+")
int9
((((((((((((((((triple14) -> (rule6 % int13))) -> (rule8 % int12))) -> (rule9 % int11)) triple12) -> (rule7 % int10))) -> (rule6 % int9))) -> (rule5 % int8)) triple11) -> (rule4 % int7)) ((((((((((((((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int10))) -> (rule6 % int9))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int10
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int11
The rabbit is kind.
("rabbit" "is" "kind" "+")
int12
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int13
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
The squirrel is red.
("squirrel" "is" "red" "+")
int7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int8
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int9
((((((((((((((((triple3) -> (rule6 % int13))) -> (rule8 % int12))) -> (rule9 % int11)) triple1) -> (rule7 % int10))) -> (rule6 % int9))) -> (rule5 % int8)) triple11) -> (rule4 % int7)) ((((((((((((((triple14) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple12) -> (rule7 % int10))) -> (rule6 % int9))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int11
The cat is kind.
("cat" "is" "kind" "+")
int12
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int13
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int6
The squirrel is red.
("squirrel" "is" "red" "+")
int7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int8
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int9
((((((((((((((((triple3) -> (rule6 % int10))) -> (rule8 % int9))) -> (rule9 % int8)) triple1) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((((((((((((((triple3) -> (rule6 % int10))) -> (rule8 % int9))) -> (rule9 % int8)) triple1) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int10
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int5
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int8
The cat is kind.
("cat" "is" "kind" "+")
int9
((((((((((((((triple4) -> (rule8 % int13))) -> (rule9 % int12)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((((((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6)) triple12) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int10
The squirrel is rough.
("squirrel" "is" "rough" "+")
int11
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int12
The cat is kind.
("cat" "is" "kind" "+")
int13
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int9
((((((((((((((triple4) -> (rule8 % int14))) -> (rule9 % int13)) triple1) -> (rule7 % int12))) -> (rule6 % int11))) -> (rule5 % int10)) ((triple13 ((((((triple14) -> (rule6 % int9))) -> (rule8 % int8))) -> (rule9 % int7))) -> (rule1 % int6))) -> (rule4 % int5)) ((((((((((((((triple3) -> (rule6 % int4))) -> (rule8 % int14))) -> (rule9 % int13)) triple1) -> (rule7 % int12))) -> (rule6 % int11))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int10
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int11
The squirrel is rough.
("squirrel" "is" "rough" "+")
int12
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int13
The cat is kind.
("cat" "is" "kind" "+")
int14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int6
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int7
The rabbit is kind.
("rabbit" "is" "kind" "+")
int8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int9
((((((((((((((((triple14) -> (rule6 % int13))) -> (rule8 % int12))) -> (rule9 % int11)) triple12) -> (rule7 % int10))) -> (rule6 % int9))) -> (rule5 % int8)) ((triple13 ((((((triple14) -> (rule6 % int13))) -> (rule8 % int12))) -> (rule9 % int11))) -> (rule1 % int7))) -> (rule4 % int6)) ((((((((((((triple4) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int10))) -> (rule6 % int9))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int10
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int11
The rabbit is kind.
("rabbit" "is" "kind" "+")
int12
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int13
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int8
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int9
((((((((((((((((triple3) -> (rule6 % int14))) -> (rule8 % int13))) -> (rule9 % int12)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((((((((triple4) -> (rule8 % int13))) -> (rule9 % int12)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int10
The squirrel is rough.
("squirrel" "is" "rough" "+")
int11
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int12
The cat is kind.
("cat" "is" "kind" "+")
int13
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int9
((((((((((((((((triple14) -> (rule6 % int11))) -> (rule8 % int10))) -> (rule9 % int9)) triple12) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule5 % int6)) ((triple13 ((((((triple14) -> (rule6 % int11))) -> (rule8 % int10))) -> (rule9 % int9))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((((((((((triple14) -> (rule6 % int11))) -> (rule8 % int10))) -> (rule9 % int9)) triple12) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int10
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int6
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int7
The squirrel is rough.
("squirrel" "is" "rough" "+")
int8
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int9
((((((((((((((((triple14) -> (rule6 % int14))) -> (rule8 % int13))) -> (rule9 % int12)) triple12) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int14))) -> (rule8 % int13))) -> (rule9 % int12))) -> (rule1 % int8))) -> (rule4 % int7)) ((((((((((((((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int10
The squirrel is rough.
("squirrel" "is" "rough" "+")
int11
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int12
The rabbit is kind.
("rabbit" "is" "kind" "+")
int13
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int6
The squirrel is red.
("squirrel" "is" "red" "+")
int7
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int9
((((((((((((((((triple3) -> (rule6 % int14))) -> (rule8 % int13))) -> (rule9 % int12)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((((((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6)) triple12) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int10
The squirrel is rough.
("squirrel" "is" "rough" "+")
int11
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int12
The cat is kind.
("cat" "is" "kind" "+")
int13
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int9
((((((((((((((((triple3) -> (rule6 % int14))) -> (rule8 % int13))) -> (rule9 % int12)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule5 % int9)) ((triple13 ((((((triple14) -> (rule6 % int8))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((((((((((((((triple3) -> (rule6 % int14))) -> (rule8 % int13))) -> (rule9 % int12)) triple1) -> (rule7 % int11))) -> (rule6 % int10))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int10
The squirrel is rough.
("squirrel" "is" "rough" "+")
int11
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int12
The cat is kind.
("cat" "is" "kind" "+")
int13
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit is kind.
("rabbit" "is" "kind" "+")
int7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int9