The squirrel chases the tiger. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel needs the tiger. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is cold. The tiger is green. The tiger is kind. The tiger is red. The tiger is rough. The tiger needs the squirrel. The tiger visits the squirrel. If someone is green and cold then they are kind. If someone is kind then they chase the squirrel. If the tiger visits the squirrel then the squirrel visits the tiger. If someone chases the squirrel then the squirrel is cold. If someone is cold and they need the tiger then the tiger is green. If someone chases the squirrel then they visit the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone is green and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they chase the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "squirrel" "+"))
If the tiger visits the squirrel then the squirrel visits the tiger.
((("tiger" "visits" "squirrel" "+")) -> ("squirrel" "visits" "tiger" "+"))
If someone chases the squirrel then the squirrel is cold.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If someone is cold and they need the tiger then the tiger is green.
((("someone" "is" "cold" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If someone chases the squirrel then they visit the squirrel.
((("someone" "chases" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
The squirrel is cold.
True
1
proof
[(triple2 OR ((triple9) -> rule4) OR ((((triple12) -> rule2)) -> rule4) OR ((((triple4) -> rule2)) -> rule4) OR ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4))]
("squirrel" "is" "cold" "+")
triple2
((triple9) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
((((((triple11 triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The squirrel is not red.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "red" "-")
triple5
The squirrel chases the squirrel.
True
2
proof
[(((triple4) -> rule2) OR ((((triple3 triple2) -> rule1)) -> rule2) OR ((((triple3 ((triple9) -> rule4)) -> rule1)) -> rule2) OR ((((triple3 ((((triple12) -> rule2)) -> rule4)) -> rule1)) -> rule2) OR ((((triple3 ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))]
("squirrel" "chases" "squirrel" "+")
((triple4) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple3 ((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
((((triple3 ((((triple12) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int4
((((triple3 ((((((triple11 triple10) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple4) -> rule2) OR ((((triple3 triple2) -> rule1)) -> rule2) OR ((((triple3 ((triple9) -> rule4)) -> rule1)) -> rule2) OR ((((triple3 ((((triple12) -> rule2)) -> rule4)) -> rule1)) -> rule2) OR ((((triple3 ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))]
("squirrel" "chases" "squirrel" "-")
((triple4) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple3 ((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
((((triple3 ((((triple12) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int4
((((triple3 ((((((triple11 triple10) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The squirrel visits the squirrel.
True
3
proof
[(((((triple4) -> rule2)) -> rule6) OR ((((((triple3 triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((triple9) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((((triple12) -> rule2)) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2)) -> rule6))]
("squirrel" "visits" "squirrel" "+")
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
((((((triple3 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple3 ((triple9) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
((((((triple3 ((((triple12) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int5
((((((triple3 ((((((triple11 triple10) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The squirrel does not visit the squirrel.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule6) OR ((((((triple3 triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((triple9) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((((triple12) -> rule2)) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2)) -> rule6))]
("squirrel" "visits" "squirrel" "-")
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
((((((triple3 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple3 ((triple9) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
((((((triple3 ((((triple12) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int5
((((((triple3 ((((((triple11 triple10) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel is cold.[(triple2 OR ((triple9) -> rule4) OR ((((triple12) -> rule2)) -> rule4) OR ((((triple4) -> rule2)) -> rule4) OR ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4))] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4 OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple9) -> rule4)) -> rule1) OR ((triple3 ((((triple12) -> rule2)) -> rule4)) -> rule1) OR ((triple3 ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4)) -> rule1))] The squirrel is red.[(triple5)] The squirrel is rough.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the tiger.[(triple8 OR ((triple16) -> rule3) OR ((((triple9) -> rule6)) -> rule3) OR ((((((triple12) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple11 triple10) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((((((triple2 triple7) -> rule5) triple10) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((((((((((triple4) -> rule2)) -> rule4) triple7) -> rule5) triple10) -> rule1)) -> rule2)) -> rule6)) -> rule3))] The tiger chases the squirrel.[(triple9 OR ((triple12) -> rule2) OR ((((triple11 triple10) -> rule1)) -> rule2) OR ((((((triple2 triple7) -> rule5) triple10) -> rule1)) -> rule2) OR ((((((((((triple4) -> rule2)) -> rule4) triple7) -> rule5) triple10) -> rule1)) -> rule2))] The tiger is cold.[(triple10)] The tiger is green.[(triple11 OR ((triple2 triple7) -> rule5) OR ((((triple9) -> rule4) triple7) -> rule5) OR ((((((triple12) -> rule2)) -> rule4) triple7) -> rule5) OR ((((((triple4) -> rule2)) -> rule4) triple7) -> rule5))] The tiger is kind.[(triple12 OR ((triple11 triple10) -> rule1) OR ((((triple2 triple7) -> rule5) triple10) -> rule1) OR ((((((triple9) -> rule4) triple7) -> rule5) triple10) -> rule1) OR ((((((((triple4) -> rule2)) -> rule4) triple7) -> rule5) triple10) -> rule1))] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16 OR ((triple9) -> rule6) OR ((((triple12) -> rule2)) -> rule6) OR ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple2 triple7) -> rule5) triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((((((((triple4) -> rule2)) -> rule4) triple7) -> rule5) triple10) -> rule1)) -> rule2)) -> rule6))] @1: The squirrel chases the squirrel.[(((triple4) -> rule2) OR ((((triple3 triple2) -> rule1)) -> rule2) OR ((((triple3 ((triple9) -> rule4)) -> rule1)) -> rule2) OR ((((triple3 ((((triple12) -> rule2)) -> rule4)) -> rule1)) -> rule2) OR ((((triple3 ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))] @2: The squirrel visits the squirrel.[(((((triple4) -> rule2)) -> rule6) OR ((((((triple3 triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((triple9) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((((triple12) -> rule2)) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 ((((((triple11 triple10) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2)) -> rule6))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
((triple9) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
((((((triple11 triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple4
((triple3 triple2) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((triple3 ((triple9) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
((triple3 ((((triple12) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
((triple3 ((((((triple11 triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple8
((triple16) -> (rule3 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
((((((((triple11 triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((((((((triple2 triple7) -> (rule5 % int5)) triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
((((((((((((((triple4) -> (rule2 % int7))) -> (rule4 % int6)) triple7) -> (rule5 % int5)) triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The squirrel is cold.
("squirrel" "is" "cold" "+")
int6
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple9
((triple12) -> (rule2 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
((((triple11 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((((triple2 triple7) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
((((((((((triple4) -> (rule2 % int5))) -> (rule4 % int4)) triple7) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int5
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
((triple2 triple7) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
((((triple9) -> (rule4 % int2)) triple7) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
((triple11 triple10) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple2 triple7) -> (rule5 % int2)) triple10) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((((((triple9) -> (rule4 % int3)) triple7) -> (rule5 % int2)) triple10) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule5 % int2)) triple10) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int4
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
((triple9) -> (rule6 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule6 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
((((((triple11 triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((((triple2 triple7) -> (rule5 % int4)) triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
((((((((((((triple4) -> (rule2 % int6))) -> (rule4 % int5)) triple7) -> (rule5 % int4)) triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int6
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple4) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple3 ((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
((((triple3 ((((triple12) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int4
((((triple3 ((((((triple11 triple10) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int4
The tiger is kind.
("tiger" "is" "kind" "+")
int5
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
((((((triple3 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple3 ((triple9) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
((((((triple3 ((((triple12) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int5
((((((triple3 ((((((triple11 triple10) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
int6