The bald eagle needs the mouse. The mouse is nice. The mouse is round. If something needs the bald eagle then it likes the mouse. If the mouse is kind then the mouse likes the bald eagle. If the mouse is round then the mouse needs the bald eagle.
The bald eagle does not visit the mouse.
@0: The bald eagle needs the mouse.[(triple1)] The mouse is nice.[(triple2)] The mouse is round.[(triple3)] @1: The mouse needs the bald eagle.[(((triple3) -> rule3))] @2: The mouse likes the mouse.[(((((triple3) -> rule3)) -> rule1))]