The bald eagle is nice. The bear is young. The cow eats the bald eagle. The lion eats the bald eagle. If the bear is nice then the bear is kind. If something needs the cow and the cow likes the bald eagle then the bald eagle needs the lion. If something eats the bald eagle then it needs the bear. If something likes the bear then it eats the lion. If the lion needs the bear then the bear eats the bald eagle. If the cow is cold then the cow is nice.
The bear needs the lion.
@0: The bald eagle is nice.[(triple1)] The bear is young.[(triple2)] The cow eats the bald eagle.[(triple3)] The lion eats the bald eagle.[(triple4)] @1: The cow needs the bear.[(((triple3) -> rule3))] The lion needs the bear.[(((triple4) -> rule3))] @2: The bear eats the bald eagle.[(((((triple4) -> rule3)) -> rule5))] @3: The bear needs the bear.[(((((((triple4) -> rule3)) -> rule5)) -> rule3))]