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