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 bear is not rough.
@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))]