The squirrel eats the tiger. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel needs the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger is big. The tiger needs the squirrel. The tiger sees the squirrel. If someone needs the squirrel and they see the tiger then the squirrel eats the tiger. If the tiger eats the squirrel and the squirrel is nice then the squirrel eats the tiger. If someone is cold and they eat the squirrel then they are rough. If someone is rough then they need the squirrel. If someone eats the squirrel and the squirrel eats the tiger then they are cold. If the tiger eats the squirrel and the tiger is nice then the tiger sees the squirrel. If someone eats the squirrel and they eat the tiger then the tiger is nice. If someone is cold and red then they eat the squirrel.
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone needs the squirrel and they see the tiger then the squirrel eats the tiger.
((("someone" "needs" "squirrel" "+") ("someone" "sees" "tiger" "+")) -> ("squirrel" "eats" "tiger" "+"))
If the tiger eats the squirrel and the squirrel is nice then the squirrel eats the tiger.
((("tiger" "eats" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "eats" "tiger" "+"))
If someone is cold and they eat the squirrel then they are rough.
((("someone" "is" "cold" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they need the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone eats the squirrel and the squirrel eats the tiger then they are cold.
((("someone" "eats" "squirrel" "+") ("squirrel" "eats" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If the tiger eats the squirrel and the tiger is nice then the tiger sees the squirrel.
((("tiger" "eats" "squirrel" "+") ("tiger" "is" "nice" "+")) -> ("tiger" "sees" "squirrel" "+"))
If someone eats the squirrel and they eat the tiger then the tiger is nice.
((("someone" "eats" "squirrel" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If someone is cold and red then they eat the squirrel.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "eats" "squirrel" "+"))
The squirrel is nice.
True
1
proof
[(triple4)]
("squirrel" "is" "nice" "+")
triple4
The squirrel does not eat the tiger.
False
1
inv-proof
[(triple1 OR ((triple9 triple4) -> rule2) OR ((((triple6) -> rule4) triple8) -> rule1) OR ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1))]
("squirrel" "eats" "tiger" "-")
triple1
((triple9 triple4) -> (rule2 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
((((triple6) -> (rule4 % int2)) triple8) -> (rule1 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
((((((triple3 ((triple3 triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule1 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The tiger is cold.
True
3
proof
[(((triple9 triple1) -> rule5) OR ((triple9 ((triple9 triple4) -> rule2)) -> rule5) OR ((triple9 ((((triple6) -> rule4) triple8) -> rule1)) -> rule5) OR ((triple9 ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule5))]
("tiger" "is" "cold" "+")
((triple9 triple1) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
((triple9 ((triple9 triple4) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
((triple9 ((((triple6) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
((triple9 ((((((triple3 ((triple3 triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The tiger is not cold.
False
3
inv-proof
[(((triple9 triple1) -> rule5) OR ((triple9 ((triple9 triple4) -> rule2)) -> rule5) OR ((triple9 ((((triple6) -> rule4) triple8) -> rule1)) -> rule5) OR ((triple9 ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule5))]
("tiger" "is" "cold" "-")
((triple9 triple1) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
((triple9 ((triple9 triple4) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
((triple9 ((((triple6) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
((triple9 ((((((triple3 ((triple3 triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The tiger is nice.
True
5
proof
[(((((triple3 triple5) -> rule8) triple1) -> rule7) OR ((((triple3 triple5) -> rule8) ((triple9 triple4) -> rule2)) -> rule7) OR ((((triple3 triple5) -> rule8) ((((triple6) -> rule4) triple8) -> rule1)) -> rule7) OR ((((triple3 triple5) -> rule8) ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule7))]
("tiger" "is" "nice" "+")
((((triple3 triple5) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
((((triple3 triple5) -> (rule8 % int3)) ((triple9 triple4) -> (rule2 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
((((triple3 triple5) -> (rule8 % int4)) ((((triple6) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
((((triple3 triple5) -> (rule8 % int5)) ((((((triple3 ((triple3 triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The tiger is not rough.
False
5
inv-proof
[(((((triple9 triple1) -> rule5) triple9) -> rule3) OR ((((triple9 ((triple9 triple4) -> rule2)) -> rule5) triple9) -> rule3) OR ((((triple9 ((((triple6) -> rule4) triple8) -> rule1)) -> rule5) triple9) -> rule3) OR ((((triple9 ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule5) triple9) -> rule3))]
("tiger" "is" "rough" "-")
((((triple9 triple1) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
((((triple9 ((triple9 triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
((((triple9 ((((triple6) -> (rule4 % int4)) triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((triple9 ((((((triple3 ((triple3 triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int6
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The squirrel eats the tiger.[(triple1 OR ((triple9 triple4) -> rule2) OR ((((triple6) -> rule4) triple8) -> rule1) OR ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1))] The squirrel is big.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is red.[(triple5)] The squirrel is rough.[(triple6 OR ((triple3 ((triple3 triple5) -> rule8)) -> rule3))] The squirrel needs the tiger.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is big.[(triple10)] The tiger needs the squirrel.[(triple11 OR ((((((triple9 triple1) -> rule5) triple9) -> rule3)) -> rule4) OR ((((((triple9 ((triple9 triple4) -> rule2)) -> rule5) triple9) -> rule3)) -> rule4) OR ((((((triple9 ((((triple6) -> rule4) triple8) -> rule1)) -> rule5) triple9) -> rule3)) -> rule4) OR ((((((triple9 ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule5) triple9) -> rule3)) -> rule4))] The tiger sees the squirrel.[(triple12 OR ((triple9 ((((triple3 triple5) -> rule8) triple1) -> rule7)) -> rule6) OR ((triple9 ((((triple3 triple5) -> rule8) ((triple9 triple4) -> rule2)) -> rule7)) -> rule6) OR ((triple9 ((((triple3 triple5) -> rule8) ((((triple6) -> rule4) triple8) -> rule1)) -> rule7)) -> rule6) OR ((triple9 ((((triple3 triple5) -> rule8) ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule7)) -> rule6))] @1: The squirrel eats the squirrel.[(((triple3 triple5) -> rule8))] The squirrel needs the squirrel.[(((triple6) -> rule4) OR ((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4))] The tiger is cold.[(((triple9 triple1) -> rule5) OR ((triple9 ((triple9 triple4) -> rule2)) -> rule5) OR ((triple9 ((((triple6) -> rule4) triple8) -> rule1)) -> rule5) OR ((triple9 ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule5))] @2: The tiger is nice.[(((((triple3 triple5) -> rule8) triple1) -> rule7) OR ((((triple3 triple5) -> rule8) ((triple9 triple4) -> rule2)) -> rule7) OR ((((triple3 triple5) -> rule8) ((((triple6) -> rule4) triple8) -> rule1)) -> rule7) OR ((((triple3 triple5) -> rule8) ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule7))] The tiger is rough.[(((((triple9 triple1) -> rule5) triple9) -> rule3) OR ((((triple9 ((triple9 triple4) -> rule2)) -> rule5) triple9) -> rule3) OR ((((triple9 ((((triple6) -> rule4) triple8) -> rule1)) -> rule5) triple9) -> rule3) OR ((((triple9 ((((((triple3 ((triple3 triple5) -> rule8)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule5) triple9) -> rule3))]
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple1
((triple9 triple4) -> (rule2 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
((((triple6) -> (rule4 % int2)) triple8) -> (rule1 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
((((((triple3 ((triple3 triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule1 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is big.
("squirrel" "is" "big" "+")
triple2
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
((triple3 ((triple3 triple5) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple8
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple11
((((((triple9 triple1) -> (rule5 % int3)) triple9) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is cold.
("tiger" "is" "cold" "+")
int3
((((((triple9 ((triple9 triple4) -> (rule2 % int4))) -> (rule5 % int3)) triple9) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is cold.
("tiger" "is" "cold" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
((((((triple9 ((((triple6) -> (rule4 % int5)) triple8) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is cold.
("tiger" "is" "cold" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int5
((((((triple9 ((((((triple3 ((triple3 triple5) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule4 % int5)) triple8) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is cold.
("tiger" "is" "cold" "+")
int3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
int6
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int7
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple12
((triple9 ((((triple3 triple5) -> (rule8 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
((triple9 ((((triple3 triple5) -> (rule8 % int4)) ((triple9 triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
((triple9 ((((triple3 triple5) -> (rule8 % int5)) ((((triple6) -> (rule4 % int4)) triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
((triple9 ((((triple3 triple5) -> (rule8 % int6)) ((((((triple3 ((triple3 triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int6
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple3 triple5) -> (rule8 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple6) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
((((triple3 ((triple3 triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The tiger is cold.
("tiger" "is" "cold" "+")
((triple9 triple1) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
((triple9 ((triple9 triple4) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
((triple9 ((((triple6) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
((triple9 ((((((triple3 ((triple3 triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The tiger is nice.
("tiger" "is" "nice" "+")
((((triple3 triple5) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
((((triple3 triple5) -> (rule8 % int3)) ((triple9 triple4) -> (rule2 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
((((triple3 triple5) -> (rule8 % int4)) ((((triple6) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
((((triple3 triple5) -> (rule8 % int5)) ((((((triple3 ((triple3 triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The tiger is rough.
("tiger" "is" "rough" "+")
((((triple9 triple1) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
((((triple9 ((triple9 triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
((((triple9 ((((triple6) -> (rule4 % int4)) triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((triple9 ((((((triple3 ((triple3 triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int6