The cow is cold. The cow is young. The cow sees the squirrel. The lion eats the cow. The lion eats the squirrel. The lion needs the cow. The squirrel eats the cow. The squirrel is red. The squirrel is round. The squirrel needs the lion. The squirrel sees the cow. The squirrel sees the lion. If something is round then it sees the squirrel. If something is big then it sees the cow.
The lion does not see the lion.
@0: The cow is cold.[(triple1)] The cow is young.[(triple2)] The cow sees the squirrel.[(triple3)] The lion eats the cow.[(triple4)] The lion eats the squirrel.[(triple5)] The lion needs the cow.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is red.[(triple8)] The squirrel is round.[(triple9)] The squirrel needs the lion.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The squirrel sees the squirrel.[(((triple9) -> rule1))]