The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse is blue. All blue things are young. If something eats the mouse and it eats the bald eagle then the mouse is blue.
The bald eagle is not young.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle visits the mouse.[(triple2)] The mouse is blue.[(triple3)] @1: The mouse is young.[(((triple3) -> rule1))]