The mouse eats the squirrel. The squirrel is green. The squirrel needs the mouse. If the squirrel sees the mouse and the mouse is not big then the mouse is young. If the mouse is blue then the mouse does not see the squirrel. If something needs the squirrel and it eats the mouse then the squirrel needs the mouse. If something eats the squirrel then it sees the mouse. If something needs the mouse and it is not blue then it is green. If the squirrel is not big then the squirrel sees the mouse. If something sees the mouse then the mouse is not red. If something needs the squirrel and it is not green then the squirrel is red.
The squirrel is not red.
@0: The mouse eats the squirrel.[(triple1)] The squirrel is green.[(triple2)] The squirrel needs the mouse.[(triple3)] @1: The mouse sees the mouse.[(((triple1) -> rule4))] @2: The mouse is not red.[(((((triple1) -> rule4)) -> rule7))]