The bald eagle chases the mouse. The bald eagle sees the mouse. The lion chases the bald eagle. The lion is nice. The lion sees the mouse. The lion visits the bald eagle. The mouse chases the bald eagle. The mouse chases the lion. The mouse sees the bald eagle. The mouse sees the lion. The mouse visits the bald eagle. The mouse visits the lion. If someone chases the bald eagle and they visit the lion then the lion sees the bald eagle. If someone visits the mouse and the mouse visits the lion then they chase the mouse. If someone visits the lion then they see the bald eagle. If someone sees the lion and they chase the bald eagle then the bald eagle chases the lion. If someone chases the bald eagle then they are rough. If someone is rough then they visit the mouse.
The lion sees the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion is nice.[(triple4)] The lion sees the mouse.[(triple5)] The lion visits the bald eagle.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse chases the lion.[(triple8)] The mouse sees the bald eagle.[(triple9 OR ((triple12) -> rule3))] The mouse sees the lion.[(triple10)] The mouse visits the bald eagle.[(triple11)] The mouse visits the lion.[(triple12)] @1: The bald eagle chases the lion.[(((triple10 triple7) -> rule4))] The lion is rough.[(((triple3) -> rule5))] The lion sees the bald eagle.[(((triple7 triple12) -> rule1))] The mouse is rough.[(((triple7) -> rule5))] @2: The lion visits the mouse.[(((((triple3) -> rule5)) -> rule6))] The mouse visits the mouse.[(((((triple7) -> rule5)) -> rule6))] @3: The lion chases the mouse.[(((((((triple3) -> rule5)) -> rule6) triple12) -> rule2))] The mouse chases the mouse.[(((((((triple7) -> rule5)) -> rule6) triple12) -> rule2))]