The bald eagle eats the bear. The bald eagle likes the bear. The bear likes the bald eagle. If the bald eagle likes the bear then the bear is kind. If someone likes the bear then the bear eats the bald eagle. If the bear eats the bald eagle then the bald eagle is young.
The bald eagle is not young.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear likes the bald eagle.[(triple3)] @1: The bear eats the bald eagle.[(((triple2) -> rule2))] The bear is kind.[(((triple2) -> rule1))] @2: The bald eagle is young.[(((((triple2) -> rule2)) -> rule3))]