The bald eagle does not eat the squirrel. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle does not need the squirrel. The bald eagle sees the squirrel. The mouse is green. The mouse is kind. The mouse sees the bald eagle. The squirrel needs the bald eagle. The squirrel needs the mouse. The squirrel sees the bald eagle. If someone eats the squirrel and the squirrel sees the bald eagle then they eat the mouse. If someone is kind then they eat the mouse. If someone sees the squirrel and they see the bald eagle then the squirrel eats the mouse. If someone needs the bald eagle then they are blue. If someone is round and not kind then they are blue. If someone needs the bald eagle and they do not see the mouse then the bald eagle is red. If the mouse eats the squirrel and the squirrel is kind then the mouse needs the bald eagle. If someone needs the mouse and they eat the mouse then the mouse does not need the squirrel.
The mouse is round.
@0: The bald eagle does not eat the squirrel.[(triple1)] The bald eagle does not need the squirrel.[(triple5)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle sees the squirrel.[(triple6)] The mouse is green.[(triple7)] The mouse is kind.[(triple8)] The mouse sees the bald eagle.[(triple9)] The squirrel needs the bald eagle.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel sees the bald eagle.[(triple12)] @1: The bald eagle eats the mouse.[(((triple4) -> rule2))] The mouse eats the mouse.[(((triple8) -> rule2))] The squirrel is blue.[(((triple10) -> rule4))]