The bald eagle eats the mouse. The bald eagle eats the squirrel. The bald eagle is nice. The bald eagle is red. The bald eagle does not see the mouse. The bald eagle sees the squirrel. The bald eagle visits the mouse. The bald eagle does not visit the squirrel. The mouse is blue. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is kind. The squirrel is red. The squirrel is young. The squirrel sees the bald eagle. The squirrel does not visit the bald eagle. If someone is blue and they do not eat the mouse then the mouse visits the bald eagle. If the bald eagle visits the squirrel and the bald eagle does not see the squirrel then the squirrel sees the bald eagle. If someone is red and not blue then they do not see the mouse. Red people are young. If someone eats the squirrel then the squirrel is nice. If the squirrel does not visit the mouse then the mouse does not visit the squirrel.
The squirrel eats the squirrel.
@0: The bald eagle does not see the mouse.[(triple5)] The bald eagle does not visit the squirrel.[(triple8)] The bald eagle eats the mouse.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the squirrel.[(triple6)] The bald eagle visits the mouse.[(triple7)] The mouse is blue.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel does not visit the bald eagle.[(triple16)] The squirrel eats the mouse.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14 OR ((triple13) -> rule4))] The squirrel sees the bald eagle.[(triple15)] @1: The bald eagle is young.[(((triple4) -> rule4))] The squirrel is nice.[(((triple2) -> rule5))]