The bear eats the squirrel. The cow needs the squirrel. The squirrel needs the bear. If the bear likes the squirrel and the squirrel needs the bear then the bear needs the cow. If something eats the bear then it is not round. If something likes the squirrel then it eats the cow. Red things are blue. If the cow is red and the cow needs the squirrel then the cow eats the bear. If something needs the bear then the bear does not like the squirrel.
The squirrel does not need the bear.
@0: The bear eats the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The bear does not like the squirrel.[(((triple3) -> rule6))]