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