The bald eagle chases the squirrel. The bald eagle is green. The bald eagle needs the squirrel. The squirrel chases the bald eagle. The squirrel is red. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If the squirrel chases the bald eagle then the squirrel is green.
The bald eagle does not visit the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The squirrel chases the bald eagle.[(triple4)] The squirrel is red.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The squirrel is green.[(((triple4) -> rule1))]