The mouse eats the squirrel. The mouse eats the tiger. The mouse is nice. The mouse is red. The mouse needs the tiger. The squirrel chases the mouse. The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is cold. The squirrel needs the mouse. The squirrel needs the tiger. The tiger chases the mouse. The tiger eats the squirrel. The tiger is blue. The tiger needs the squirrel. If something chases the mouse then it eats the tiger. If something eats the tiger then the tiger eats the mouse. If something eats the mouse then it eats the tiger. If the mouse chases the squirrel then the mouse is cold. If something is blue then it needs the squirrel. If something eats the tiger and the tiger eats the mouse then it is blue.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something chases the mouse then it eats the tiger.
((("something" "chases" "mouse" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the tiger then the tiger eats the mouse.
((("something" "eats" "tiger" "+")) -> ("tiger" "eats" "mouse" "+"))
If something eats the mouse then it eats the tiger.
((("something" "eats" "mouse" "+")) -> ("something" "eats" "tiger" "+"))
If the mouse chases the squirrel then the mouse is cold.
((("mouse" "chases" "squirrel" "+")) -> ("mouse" "is" "cold" "+"))
If something is blue then it needs the squirrel.
((("something" "is" "blue" "+")) -> ("something" "needs" "squirrel" "+"))
If something eats the tiger and the tiger eats the mouse then it is blue.
((("something" "eats" "tiger" "+") ("tiger" "eats" "mouse" "+")) -> ("something" "is" "blue" "+"))
The mouse needs the tiger.
True
1
proof
[(triple5)]
("mouse" "needs" "tiger" "+")
triple5
The squirrel does not chase the mouse.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "mouse" "-")
triple6
The tiger eats the mouse.
True
2
proof
[(((triple2) -> rule2) OR ((triple8) -> rule2) OR ((((triple12) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))]
("tiger" "eats" "mouse" "+")
((triple2) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
((triple8) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple12) -> rule1) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple8) -> rule2)) -> rule3) OR ((((((triple6) -> rule1)) -> rule2)) -> rule3))]
("tiger" "eats" "tiger" "-")
((triple12) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The mouse is blue.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule6) OR ((triple2 ((triple8) -> rule2)) -> rule6) OR ((triple2 ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((triple2 ((((triple6) -> rule1)) -> rule2)) -> rule6))]
("mouse" "is" "blue" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((triple2 ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((triple2 ((((triple12) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((triple2 ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel is not blue.
False
4
inv-proof
[(((triple8 ((triple2) -> rule2)) -> rule6) OR ((triple8 ((triple8) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((triple8) -> rule2)) -> rule6) OR ((triple8 ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((triple8 ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6))]
("squirrel" "is" "blue" "-")
((triple8 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((triple8 ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
((((triple6) -> (rule1 % int3)) ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
((triple8 ((((triple12) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((triple8 ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
((((triple6) -> (rule1 % int4)) ((((triple12) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The mouse is not cold.
Unknown
inv-rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "cold" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The mouse chases the tiger.
Unknown
random
[@0: The mouse chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "tiger" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is nice.[(triple3)] The mouse is red.[(triple4)] The mouse needs the tiger.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel eats the tiger.[(triple8 OR ((triple6) -> rule1))] The squirrel is cold.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger chases the mouse.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is blue.[(triple14 OR ((((triple12) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((triple12) -> rule1) ((triple8) -> rule2)) -> rule6) OR ((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((((triple12) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule6) OR ((((((triple8) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule6) OR ((((((triple8) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule6) OR ((((((triple2) -> rule2)) -> rule3) ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((((((triple2) -> rule2)) -> rule3) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule2)) -> rule3) ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule2)) -> rule3) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule1)) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule6) OR ((((((((triple6) -> rule1)) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule6) OR ((((((((triple6) -> rule1)) -> rule2)) -> rule3) ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule1)) -> rule2)) -> rule3) ((((triple6) -> rule1)) -> rule2)) -> rule6))] The tiger needs the squirrel.[(triple15 OR ((triple14) -> rule5) OR ((((((triple12) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((((triple12) -> rule1) ((triple8) -> rule2)) -> rule6)) -> rule5) OR ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple12) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule2)) -> rule3) ((((triple12) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule2)) -> rule3) ((((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3) ((((triple12) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3) ((((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule6)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule2)) -> rule3) ((((triple12) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule2)) -> rule3) ((((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5))] @1: The tiger eats the mouse.[(((triple2) -> rule2) OR ((triple8) -> rule2) OR ((((triple12) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] The tiger eats the tiger.[(((triple12) -> rule1) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple8) -> rule2)) -> rule3) OR ((((((triple6) -> rule1)) -> rule2)) -> rule3))] @2: The mouse is blue.[(((triple2 ((triple2) -> rule2)) -> rule6) OR ((triple2 ((triple8) -> rule2)) -> rule6) OR ((triple2 ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((triple2 ((((triple6) -> rule1)) -> rule2)) -> rule6))] The squirrel is blue.[(((triple8 ((triple2) -> rule2)) -> rule6) OR ((triple8 ((triple8) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((triple2) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((triple8) -> rule2)) -> rule6) OR ((triple8 ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((triple8 ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6))] @3: The mouse needs the squirrel.[(((((triple2 ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((triple2 ((triple8) -> rule2)) -> rule6)) -> rule5) OR ((((triple2 ((((triple12) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((triple2 ((((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5))] The squirrel needs the squirrel.[(((((triple8 ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule2)) -> rule6)) -> rule5) OR ((((((triple6) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((((triple6) -> rule1) ((triple8) -> rule2)) -> rule6)) -> rule5) OR ((((triple8 ((((triple12) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((triple8 ((((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple6) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple5
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple6
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple8
((triple6) -> (rule1 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple11
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple12
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple13
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
((((triple12) -> (rule1 % int3)) ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((triple12) -> (rule1 % int3)) ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((triple12) -> (rule1 % int3)) ((((triple12) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((triple12) -> (rule1 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) ((triple8) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) ((triple8) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple12) -> (rule1 % int2))) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((((triple2) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple12) -> (rule1 % int2))) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
((((((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple8) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple12) -> (rule1 % int2))) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
((triple14) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
((((((triple12) -> (rule1 % int4)) ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((((triple12) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((((triple12) -> (rule1 % int4)) ((((triple12) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((((triple12) -> (rule1 % int5)) ((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int5
((((((((triple2) -> (rule2 % int4))) -> (rule3 % int3)) ((triple2) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
((((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) ((triple2) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
((((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
((((((((triple2) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int5
((((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple2) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int5
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
((triple2) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
((triple8) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple12) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((triple2 ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((triple2 ((((triple12) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((triple2 ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple8 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((triple8 ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
((((triple6) -> (rule1 % int3)) ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
((triple8 ((((triple12) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((triple8 ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
((((triple6) -> (rule1 % int4)) ((((triple12) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((triple2 ((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((triple2 ((((triple12) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((triple2 ((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((((triple8 ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((triple8 ((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
((((((triple6) -> (rule1 % int4)) ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((((triple6) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((triple8 ((((triple12) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((triple8 ((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((((triple6) -> (rule1 % int5)) ((((triple12) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int5
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4