The bald eagle eats the mouse. The mouse is red. The squirrel sees the mouse. If someone needs the squirrel then the squirrel is red. Young people are red. All red, young people are green. If someone is young then they need the bald eagle. If someone sees the mouse then the mouse needs the squirrel. If someone sees the mouse then they are green.
The squirrel does not see the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The mouse is red.[(triple2)] The squirrel sees the mouse.[(triple3)] @1: The mouse needs the squirrel.[(((triple3) -> rule5))] The squirrel is green.[(((triple3) -> rule6))] @2: The squirrel is red.[(((((triple3) -> rule5)) -> rule1))]