The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle needs the bear. The bald eagle sees the bear. The bear needs the bald eagle. The bear sees the bald eagle. If something sees the bald eagle and the bald eagle sees the bear then the bald eagle visits the bear. If something sees the bear and it visits the bear then the bear visits the bald eagle.
The bear is not nice.
@0: The bald eagle is nice.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear sees the bald eagle.[(triple7)] @1: The bald eagle visits the bear.[(((triple7 triple5) -> rule1))] @2: The bear visits the bald eagle.[(((triple5 ((triple7 triple5) -> rule1)) -> rule2))]