The cow is red. The squirrel needs the cow. The squirrel sees the cow. If the squirrel sees the cow then the cow needs the squirrel. If the cow sees the squirrel and the cow is big then the squirrel is red. If something sees the cow then it eats the cow. If something is red then it eats the cow. If the cow sees the squirrel then the cow eats the squirrel. If something eats the cow then it sees the squirrel.
The squirrel does not need the cow.
@0: The cow is red.[(triple1)] The squirrel needs the cow.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The cow eats the cow.[(((triple1) -> rule4))] The cow needs the squirrel.[(((triple3) -> rule1))] The squirrel eats the cow.[(((triple3) -> rule3))] @2: The cow sees the squirrel.[(((((triple1) -> rule4)) -> rule6))] The squirrel sees the squirrel.[(((((triple3) -> rule3)) -> rule6))] @3: The cow eats the squirrel.[(((((((triple1) -> rule4)) -> rule6)) -> rule5))]