The mouse chases the squirrel. The mouse is big. The mouse is blue. The mouse is kind. The mouse is red. The mouse is rough. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel chases the mouse. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel likes the mouse. The squirrel needs the mouse. If the mouse needs the squirrel then the mouse likes the squirrel. If someone chases the mouse and they need the squirrel then they need the mouse. If someone likes the squirrel then the squirrel is kind. If someone is blue and they like the squirrel then the squirrel chases the mouse. If someone chases the mouse and they like the squirrel then they need the squirrel. If the mouse likes the squirrel and the squirrel is big then the mouse is blue. If someone likes the mouse and they chase the mouse then the mouse is blue. If someone is blue and they like the squirrel then they chase the mouse.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If the mouse needs the squirrel then the mouse likes the squirrel.
((("mouse" "needs" "squirrel" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone chases the mouse and they need the squirrel then they need the mouse.
((("someone" "chases" "mouse" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "needs" "mouse" "+"))
If someone likes the squirrel then the squirrel is kind.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If someone is blue and they like the squirrel then the squirrel chases the mouse.
((("someone" "is" "blue" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
If someone chases the mouse and they like the squirrel then they need the squirrel.
((("someone" "chases" "mouse" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "needs" "squirrel" "+"))
If the mouse likes the squirrel and the squirrel is big then the mouse is blue.
((("mouse" "likes" "squirrel" "+") ("squirrel" "is" "big" "+")) -> ("mouse" "is" "blue" "+"))
If someone likes the mouse and they chase the mouse then the mouse is blue.
((("someone" "likes" "mouse" "+") ("someone" "chases" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If someone is blue and they like the squirrel then they chase the mouse.
((("someone" "is" "blue" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "chases" "mouse" "+"))
The squirrel is kind.
True
1
proof
[(triple12 OR ((triple7) -> rule3) OR ((((triple8) -> rule1)) -> rule3))]
("squirrel" "is" "kind" "+")
triple12
((triple7) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel does not need the mouse.
False
1
inv-proof
[(triple15)]
("squirrel" "needs" "mouse" "-")
triple15
The mouse chases the mouse.
True
3
proof
[(((triple3 triple7) -> rule8) OR ((triple3 ((triple8) -> rule1)) -> rule8) OR ((((triple14 triple9) -> rule7) triple7) -> rule8) OR ((((triple7 triple10) -> rule6) triple7) -> rule8) OR ((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) OR ((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) OR ((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8))]
("mouse" "chases" "mouse" "+")
((triple3 triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
((triple3 ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
((((triple14 triple9) -> (rule7 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple7 triple10) -> (rule6 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple14 triple9) -> (rule7 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple7 triple10) -> (rule6 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((((triple8) -> (rule1 % int3)) triple10) -> (rule6 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
((((((triple8) -> (rule1 % int3)) triple10) -> (rule6 % int2)) ((triple8) -> (rule1 % int3))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse does not chase the mouse.
False
3
inv-proof
[(((triple3 triple7) -> rule8) OR ((triple3 ((triple8) -> rule1)) -> rule8) OR ((((triple14 triple9) -> rule7) triple7) -> rule8) OR ((((triple7 triple10) -> rule6) triple7) -> rule8) OR ((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) OR ((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) OR ((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8))]
("mouse" "chases" "mouse" "-")
((triple3 triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
((triple3 ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
((((triple14 triple9) -> (rule7 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple7 triple10) -> (rule6 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple14 triple9) -> (rule7 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple7 triple10) -> (rule6 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((((triple8) -> (rule1 % int3)) triple10) -> (rule6 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
((((((triple8) -> (rule1 % int3)) triple10) -> (rule6 % int2)) ((triple8) -> (rule1 % int3))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse needs the mouse.
True
5
proof
[(((((triple3 triple7) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple8) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple8) -> rule2) OR ((((triple3 triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) triple8) -> rule2) OR ((((triple3 triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((triple3 triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2))]
("mouse" "needs" "mouse" "+")
((((triple3 triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
((((triple3 ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple3 triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
((((((triple14 triple9) -> (rule7 % int4)) ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((triple3 ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((((triple8) -> (rule1 % int4)) triple10) -> (rule6 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((triple3 triple7) -> (rule8 % int4)) ((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple3 triple7) -> (rule8 % int4)) ((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple10) -> (rule6 % int3)) ((triple8) -> (rule1 % int4))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((triple3 ((triple8) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((triple3 ((triple8) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
The mouse does not need the mouse.
False
5
inv-proof
[(((((triple3 triple7) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple8) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple8) -> rule2) OR ((((triple3 triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) triple8) -> rule2) OR ((((triple3 triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((triple3 triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2))]
("mouse" "needs" "mouse" "-")
((((triple3 triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
((((triple3 ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple3 triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
((((((triple14 triple9) -> (rule7 % int4)) ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((triple3 ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((((triple8) -> (rule1 % int4)) triple10) -> (rule6 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((triple3 triple7) -> (rule8 % int4)) ((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple3 triple7) -> (rule8 % int4)) ((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple10) -> (rule6 % int3)) ((triple8) -> (rule1 % int4))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((triple3 ((triple8) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((triple3 ((triple8) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The mouse chases the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse is blue.[(triple3 OR ((triple14 triple9) -> rule7) OR ((triple7 triple10) -> rule6) OR ((((triple8) -> rule1) triple10) -> rule6))] The mouse is kind.[(triple4)] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the squirrel.[(triple7 OR ((triple8) -> rule1))] The mouse needs the squirrel.[(triple8 OR ((((triple3 triple7) -> rule8) triple7) -> rule5) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5))] The squirrel chases the mouse.[(triple9 OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple8) -> rule1)) -> rule4) OR ((((triple7 triple10) -> rule6) triple7) -> rule4) OR ((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule4) OR ((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule4) OR ((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule4))] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is kind.[(triple12 OR ((triple7) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] The squirrel is red.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The mouse chases the mouse.[(((triple3 triple7) -> rule8) OR ((triple3 ((triple8) -> rule1)) -> rule8) OR ((((triple14 triple9) -> rule7) triple7) -> rule8) OR ((((triple7 triple10) -> rule6) triple7) -> rule8) OR ((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) OR ((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) OR ((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8))] @2: The mouse needs the mouse.[(((((triple3 triple7) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple8) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple8) -> rule2) OR ((((triple3 triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) triple8) -> rule2) OR ((((triple3 triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((triple3 triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) triple8) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple14 triple9) -> rule7) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) triple7) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((triple3 triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple14 triple9) -> rule7) triple7) -> rule8) triple7) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule6) ((triple8) -> rule1)) -> rule8) ((((((triple7 triple10) -> rule6) triple7) -> rule8) triple7) -> rule5)) -> rule2))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3
((triple14 triple9) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((triple7 triple10) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((((triple8) -> (rule1 % int2)) triple10) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple7
((triple8) -> (rule1 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple8
((((triple3 triple7) -> (rule8 % int2)) triple7) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int2)) triple7) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int2)) triple7) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
((triple3 triple7) -> (rule4 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
((triple3 ((triple8) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
((((triple7 triple10) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple7 triple10) -> (rule6 % int3)) ((triple8) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((((triple8) -> (rule1 % int3)) triple10) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
((((((triple8) -> (rule1 % int3)) triple10) -> (rule6 % int2)) ((triple8) -> (rule1 % int3))) -> (rule4 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
((triple7) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple3 triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
((triple3 ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
((((triple14 triple9) -> (rule7 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple7 triple10) -> (rule6 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple14 triple9) -> (rule7 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple7 triple10) -> (rule6 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((((triple8) -> (rule1 % int3)) triple10) -> (rule6 % int2)) triple7) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
((((((triple8) -> (rule1 % int3)) triple10) -> (rule6 % int2)) ((triple8) -> (rule1 % int3))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple3 triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
((((triple3 ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple3 triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
((((((triple14 triple9) -> (rule7 % int4)) ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((triple3 ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((((triple8) -> (rule1 % int4)) triple10) -> (rule6 % int3)) triple7) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((triple3 triple7) -> (rule8 % int4)) ((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple3 triple7) -> (rule8 % int4)) ((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple10) -> (rule6 % int3)) ((triple8) -> (rule1 % int4))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
((((triple3 ((triple8) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple14 triple9) -> (rule7 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((triple3 ((triple8) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple7 triple10) -> (rule6 % int3)) triple7) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple14 triple9) -> (rule7 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((triple7 triple10) -> (rule6 % int5)) ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int5)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((triple3 triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((((triple14 triple9) -> (rule7 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
((((((((triple8) -> (rule1 % int5)) triple10) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule8 % int3)) ((((((triple7 triple10) -> (rule6 % int4)) triple7) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5