The bald eagle chases the mouse. The bald eagle sees the mouse. The bald eagle visits the lion. The lion is young. The lion sees the bald eagle. The lion sees the mouse. The lion visits the mouse. The mouse chases the bald eagle. The mouse is kind. The mouse visits the lion. If the bald eagle chases the mouse and the bald eagle visits the mouse then the mouse sees the bald eagle. If something is kind then it visits the bald eagle. If something is nice then it visits the bald eagle. If the mouse sees the lion then the lion chases the bald eagle. If something visits the bald eagle then the bald eagle visits the mouse. If something chases the lion then it visits the mouse.
The bald eagle visits the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle visits the lion.[(triple3)] The lion is young.[(triple4)] The lion sees the bald eagle.[(triple5)] The lion sees the mouse.[(triple6)] The lion visits the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse is kind.[(triple9)] The mouse visits the lion.[(triple10)] @1: The mouse visits the bald eagle.[(((triple9) -> rule2))] @2: The bald eagle visits the mouse.[(((((triple9) -> rule2)) -> rule5))] @3: The mouse sees the bald eagle.[(((triple1 ((((triple9) -> rule2)) -> rule5)) -> rule1))]