The bald eagle sees the squirrel. The bear eats the cow. The cow sees the bald eagle. The squirrel eats the bear. If someone visits the squirrel and they are nice then they are green. If someone visits the bear and the bear visits the squirrel then the squirrel sees the cow. If someone eats the bald eagle then the bald eagle eats the cow. If someone sees the bear then the bear visits the cow. If the bald eagle visits the bear then the bear sees the bald eagle. If the squirrel eats the bear then the bear sees the squirrel.
The bear does not eat the cow.
@0: The bald eagle sees the squirrel.[(triple1)] The bear eats the cow.[(triple2)] The cow sees the bald eagle.[(triple3)] The squirrel eats the bear.[(triple4)] @1: The bear sees the squirrel.[(((triple4) -> rule6))]