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 mouse does not eat the bald eagle.
@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))]