The bald eagle likes the bear. The bear is blue. The bear sees the bald eagle. If the bear sees the bald eagle then the bald eagle is blue.
The bear is blue.
@0: The bald eagle likes the bear.[(triple1)] The bear is blue.[(triple2)] The bear sees the bald eagle.[(triple3)] @1: The bald eagle is blue.[(((triple3) -> rule1))]