The bald eagle visits the rabbit. The mouse needs the bald eagle. The rabbit eats the squirrel. The rabbit is blue. The rabbit needs the bald eagle. The rabbit needs the mouse. The rabbit needs the squirrel. The squirrel eats the bald eagle. The squirrel is kind. The squirrel needs the bald eagle. The squirrel visits the mouse. The squirrel visits the rabbit. If something needs the bald eagle then it needs the mouse. If something eats the mouse and it visits the bald eagle then the bald eagle is kind. If the rabbit visits the squirrel and the rabbit is big then the rabbit is nice. If something visits the mouse and the mouse eats the rabbit then the mouse visits the rabbit. If something needs the bald eagle then the bald eagle is blue. If the rabbit visits the bald eagle and the rabbit eats the squirrel then the squirrel needs the rabbit. If something visits the squirrel then it visits the bald eagle. If something needs the mouse and it visits the mouse then it needs the bald eagle.
The bald eagle does not visit the mouse.
@0: The bald eagle visits the rabbit.[(triple1)] The mouse needs the bald eagle.[(triple2)] The rabbit eats the squirrel.[(triple3)] The rabbit is blue.[(triple4)] The rabbit needs the bald eagle.[(triple5)] The rabbit needs the mouse.[(triple6 OR ((triple5) -> rule1))] The rabbit needs the squirrel.[(triple7)] The squirrel eats the bald eagle.[(triple8)] The squirrel is kind.[(triple9)] The squirrel needs the bald eagle.[(triple10)] The squirrel visits the mouse.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The bald eagle is blue.[(((triple10) -> rule5) OR ((triple2) -> rule5) OR ((triple5) -> rule5))] The mouse needs the mouse.[(((triple2) -> rule1))] The squirrel needs the mouse.[(((triple10) -> rule1))]