The bald eagle eats the mouse. The bear eats the bald eagle. The cat visits the mouse. The mouse needs the cat. If something needs the bear then the bear visits the cat. If something needs the bear and it visits the bald eagle then the bald eagle visits the bear. If the cat is kind then the cat needs the bear. If something visits the bald eagle and it visits the mouse then it eats the bald eagle. If something eats the bald eagle then it eats the mouse. If the mouse eats the cat then the cat is kind.
The mouse visits the cat.
@0: The bald eagle eats the mouse.[(triple1)] The bear eats the bald eagle.[(triple2)] The cat visits the mouse.[(triple3)] The mouse needs the cat.[(triple4)] @1: The bear eats the mouse.[(((triple2) -> rule5))]