The mouse chases the squirrel. The mouse is round. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit visits the mouse. The squirrel chases the mouse. The squirrel eats the rabbit. The squirrel visits the rabbit. If something eats the rabbit and the rabbit chases the mouse then it visits the rabbit. If something eats the squirrel then the squirrel chases the mouse.
The rabbit does not visit the rabbit.
@0: The mouse chases the squirrel.[(triple1)] The mouse is round.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit visits the mouse.[(triple7)] The squirrel chases the mouse.[(triple8 OR ((triple6) -> rule2))] The squirrel eats the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10 OR ((triple9 triple4) -> rule1))]