The bald eagle chases the mouse. The bald eagle is nice. The mouse chases the rabbit. The rabbit chases the bald eagle. The rabbit chases the mouse. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel is round. The squirrel visits the bald eagle. If something visits the mouse then it chases the mouse. If something is round then it visits the rabbit. If something chases the mouse then the mouse visits the bald eagle. If something eats the rabbit and the rabbit is nice then it is green. If something eats the squirrel then it visits the squirrel. If something is round then it eats the squirrel. If something eats the bald eagle then the bald eagle eats the squirrel. If something chases the bald eagle and the bald eagle is rough then the bald eagle visits the squirrel.
The squirrel does not visit the squirrel.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is nice.[(triple2)] The mouse chases the rabbit.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit chases the mouse.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel eats the mouse.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is round.[(triple9)] The squirrel visits the bald eagle.[(triple10)] @1: The mouse visits the bald eagle.[(((triple1) -> rule3) OR ((triple5) -> rule3) OR ((triple6) -> rule3))] The squirrel eats the squirrel.[(((triple9) -> rule6))] The squirrel visits the rabbit.[(((triple9) -> rule2))] @2: The squirrel visits the squirrel.[(((((triple9) -> rule6)) -> rule5))]