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