The cow chases the squirrel. The cow eats the squirrel. The cow is green. The cow is young. The lion eats the rabbit. The lion eats the squirrel. The rabbit chases the cow. The rabbit is cold. The rabbit is green. The rabbit likes the cow. The squirrel chases the lion. The squirrel likes the cow. If something chases the cow then it is green. If something is cold then it chases the squirrel. If something chases the cow and it likes the cow then the cow is green. All nice things are green. If something chases the squirrel then it likes the rabbit. If something likes the cow then it likes the lion.
The squirrel is not green.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is green.[(triple3 OR ((triple7 triple10) -> rule3))] The cow is young.[(triple4)] The lion eats the rabbit.[(triple5)] The lion eats the squirrel.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9 OR ((triple7) -> rule1))] The rabbit likes the cow.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel likes the cow.[(triple12)] @1: The cow likes the rabbit.[(((triple1) -> rule5))] The rabbit chases the squirrel.[(((triple8) -> rule2))] The rabbit likes the lion.[(((triple10) -> rule6))] The squirrel likes the lion.[(((triple12) -> rule6))] @2: The rabbit likes the rabbit.[(((((triple8) -> rule2)) -> rule5))]