The bald eagle sees the bear. The bear is blue. The bear is cold. The bear is nice. The bear likes the bald eagle. The bear sees the bald eagle. The bear visits the bald eagle. If the bald eagle visits the bear then the bear visits the bald eagle. If something visits the bear then the bear is red. If something visits the bald eagle then it visits the bear.
The bear is red.
@0: The bald eagle sees the bear.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear visits the bald eagle.[(triple7)] @1: The bear visits the bear.[(((triple7) -> rule3))] @2: The bear is red.[(((((triple7) -> rule3)) -> rule2))]