The bald eagle chases the squirrel. The bald eagle visits the squirrel. The mouse chases the bald eagle. The mouse chases the squirrel. The mouse does not like the bald eagle. The squirrel visits the bald eagle. The squirrel visits the mouse. If someone is nice and they visit the mouse then they visit the bald eagle. If the squirrel is nice then the squirrel chases the bald eagle. All cold people are not rough. If the squirrel visits the mouse then the mouse does not like the bald eagle. If the bald eagle is cold then the bald eagle likes the mouse. If the squirrel likes the bald eagle and the bald eagle visits the squirrel then the squirrel is young. If the mouse is not rough then the mouse chases the bald eagle. If someone chases the bald eagle then they chase the squirrel.
The mouse does not chase the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The mouse chases the bald eagle.[(triple3)] The mouse chases the squirrel.[(triple4 OR ((triple3) -> rule8))] The mouse does not like the bald eagle.[(triple5 OR ((triple7) -> rule4))] The squirrel visits the bald eagle.[(triple6)] The squirrel visits the mouse.[(triple7)]