The bald eagle is young. The bald eagle sees the dog. The bear eats the mouse. The bear is young. The dog eats the bear. The mouse eats the bear. The mouse needs the bald eagle. If something is cold then it eats the bald eagle. If something is nice then it needs the bear. If something eats the bald eagle then it needs the mouse. If something eats the mouse then the mouse is nice. If something needs the bald eagle and it needs the bear then the bald eagle needs the bear. If something eats the dog and the dog is big then it eats the bear.
The mouse needs the bear.
@0: The bald eagle is young.[(triple1)] The bald eagle sees the dog.[(triple2)] The bear eats the mouse.[(triple3)] The bear is young.[(triple4)] The dog eats the bear.[(triple5)] The mouse eats the bear.[(triple6)] The mouse needs the bald eagle.[(triple7)] @1: The mouse is nice.[(((triple3) -> rule4))] @2: The mouse needs the bear.[(((((triple3) -> rule4)) -> rule2))] @3: The bald eagle needs the bear.[(((triple7 ((((triple3) -> rule4)) -> rule2)) -> rule5))]