The bald eagle sees the squirrel. The mouse visits the bald eagle. The squirrel eats the tiger. The tiger eats the bald eagle. If the bald eagle does not see the mouse then the bald eagle is not young. If the squirrel is young then the squirrel eats the tiger. If someone eats the tiger then they eat the bald eagle. If someone is young then they do not eat the tiger. If the bald eagle sees the mouse and the bald eagle does not visit the mouse then the bald eagle does not eat the squirrel. If someone eats the bald eagle then the bald eagle does not eat the mouse. If someone is young and they visit the tiger then they are round. If someone visits the mouse and the mouse sees the tiger then they do not eat the squirrel.
The bald eagle does not see the squirrel.
@0: The bald eagle sees the squirrel.[(triple1)] The mouse visits the bald eagle.[(triple2)] The squirrel eats the tiger.[(triple3)] The tiger eats the bald eagle.[(triple4)] @1: The bald eagle does not eat the mouse.[(((triple4) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] The squirrel eats the bald eagle.[(((triple3) -> rule3))]