The bald eagle needs the bear. The bear is rough. The squirrel sees the bald eagle. If something is rough then it sees the bear.
The bald eagle sees the squirrel.
@0: The bald eagle needs the bear.[(triple1)] The bear is rough.[(triple2)] The squirrel sees the bald eagle.[(triple3)] @1: The bear sees the bear.[(((triple2) -> rule1))]