The bear eats the cow. The cow is blue. The mouse eats the squirrel. The squirrel needs the cow. If something eats the squirrel then it eats the cow.
The squirrel is not green.
@0: The bear eats the cow.[(triple1)] The cow is blue.[(triple2)] The mouse eats the squirrel.[(triple3)] The squirrel needs the cow.[(triple4)] @1: The mouse eats the cow.[(((triple3) -> rule1))]