The bald eagle is blue. The mouse is round. The squirrel needs the mouse. If the squirrel is cold and the squirrel is big then the squirrel does not visit the mouse. If someone eats the squirrel then the squirrel eats the bald eagle. If someone visits the squirrel then they are not big. If someone is round then they need the mouse. If the mouse visits the bald eagle then the bald eagle is round. If someone needs the mouse then they eat the squirrel. If someone eats the squirrel then the squirrel is cold. If the bald eagle is cold and the bald eagle does not eat the squirrel then the squirrel eats the mouse.
The mouse eats the bald eagle.
@0: The bald eagle is blue.[(triple1)] The mouse is round.[(triple2)] The squirrel needs the mouse.[(triple3)] @1: The mouse needs the mouse.[(((triple2) -> rule4))] The squirrel eats the squirrel.[(((triple3) -> rule6))] @2: The mouse eats the squirrel.[(((((triple2) -> rule4)) -> rule6))] The squirrel eats the bald eagle.[(((((triple3) -> rule6)) -> rule2) OR ((((((triple2) -> rule4)) -> rule6)) -> rule2))] The squirrel is cold.[(((((triple3) -> rule6)) -> rule7) OR ((((((triple2) -> rule4)) -> rule6)) -> rule7))]