The bald eagle visits the mouse. The mouse sees the bald eagle. The mouse visits the bald eagle. If someone visits the bald eagle then they see the mouse. If the bald eagle sees the mouse then the bald eagle visits the mouse. If the bald eagle likes the mouse and the bald eagle visits the mouse then the bald eagle is rough. If someone sees the bald eagle and the bald eagle sees the mouse then the bald eagle likes the mouse. If the mouse visits the bald eagle then the mouse likes the bald eagle. If someone sees the bald eagle and the bald eagle visits the mouse then the bald eagle sees the mouse.
The bald eagle does not visit the mouse.
@0: The bald eagle visits the mouse.[(triple1)] The mouse sees the bald eagle.[(triple2)] The mouse visits the bald eagle.[(triple3)] @1: The bald eagle sees the mouse.[(((triple2 triple1) -> rule6))] The mouse likes the bald eagle.[(((triple3) -> rule5))] The mouse sees the mouse.[(((triple3) -> rule1))] @2: The bald eagle likes the mouse.[(((triple2 ((triple2 triple1) -> rule6)) -> rule4))] @3: The bald eagle is rough.[(((((triple2 ((triple2 triple1) -> rule6)) -> rule4) triple1) -> rule3))]