The bald eagle needs the bear. The bear chases the squirrel. The rabbit is green. The squirrel needs the bald eagle. If something is young then it visits the bald eagle. If the bear chases the squirrel then the bear is young.
The bald eagle does not visit the bald eagle.
@0: The bald eagle needs the bear.[(triple1)] The bear chases the squirrel.[(triple2)] The rabbit is green.[(triple3)] The squirrel needs the bald eagle.[(triple4)] @1: The bear is young.[(((triple2) -> rule2))] @2: The bear visits the bald eagle.[(((((triple2) -> rule2)) -> rule1))]