The bald eagle eats the bear. The bald eagle sees the bear. The bear is big. If the bald eagle is blue then the bald eagle eats the bear. If something eats the bear then it eats the bald eagle. If something eats the bald eagle then it is blue.
The bear sees the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is big.[(triple3)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle is blue.[(((((triple1) -> rule2)) -> rule3))]