The cow chases the rabbit. The cow eats the squirrel. The cow is green. The cow is red. The cow needs the rabbit. The cow needs the squirrel. The rabbit chases the squirrel. The rabbit eats the cow. The rabbit eats the squirrel. The rabbit is red. The rabbit needs the cow. The squirrel does not chase the cow. The squirrel does not chase the rabbit. The squirrel is not cold. The squirrel is round. The squirrel is not young. If something is green and it does not eat the squirrel then it does not chase the squirrel. If something chases the cow then it is round. If something eats the squirrel then it chases the cow.
The rabbit is young.
@0: The cow chases the rabbit.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is green.[(triple3)] The cow is red.[(triple4)] The cow needs the rabbit.[(triple5)] The cow needs the squirrel.[(triple6)] The rabbit chases the squirrel.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit is red.[(triple10)] The rabbit needs the cow.[(triple11)] The squirrel does not chase the cow.[(triple12)] The squirrel does not chase the rabbit.[(triple13)] The squirrel is not cold.[(triple14)] The squirrel is not young.[(triple16)] The squirrel is round.[(triple15)] @1: The cow chases the cow.[(((triple2) -> rule3))] The rabbit chases the cow.[(((triple9) -> rule3))] @2: The cow is round.[(((((triple2) -> rule3)) -> rule2))] The rabbit is round.[(((((triple9) -> rule3)) -> rule2))]