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