The bald eagle likes the mouse. The mouse eats the bald eagle. The tiger needs the bald eagle. If something needs the bald eagle then it needs the mouse.
The bald eagle does not need the mouse.
@0: The bald eagle likes the mouse.[(triple1)] The mouse eats the bald eagle.[(triple2)] The tiger needs the bald eagle.[(triple3)] @1: The tiger needs the mouse.[(((triple3) -> rule1))]