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