The bald eagle needs the mouse. The lion needs the mouse. The mouse needs the lion. If someone needs the mouse then they visit the mouse. If someone visits the bald eagle then they eat the mouse.
The mouse needs the lion.
@0: The bald eagle needs the mouse.[(triple1)] The lion needs the mouse.[(triple2)] The mouse needs the lion.[(triple3)] @1: The bald eagle visits the mouse.[(((triple1) -> rule1))] The lion visits the mouse.[(((triple2) -> rule1))]