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 rabbit eats the rabbit.
@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))]