The cow eats the squirrel. The cow is blue. The cow is kind. The cow is rough. The cow likes the squirrel. The cow needs the squirrel. The squirrel eats the cow. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel likes the cow. The squirrel needs the cow. If something eats the squirrel and the squirrel needs the cow then it is blue. If something is round then it needs the squirrel. If something likes the squirrel then it is rough.
The squirrel does not need the cow.
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2 OR ((triple1 triple12) -> rule1))] The cow is kind.[(triple3)] The cow is rough.[(triple4 OR ((triple5) -> rule3))] The cow likes the squirrel.[(triple5)] The cow needs the squirrel.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The squirrel needs the squirrel.[(((triple10) -> rule2))]