The mouse does not need the squirrel. The rabbit is round. The squirrel eats the rabbit. If something needs the mouse and it needs the squirrel then the squirrel is blue. If something eats the mouse and it is not nice then it is blue. If the squirrel does not need the mouse then the mouse chases the rabbit. Round things are green. If something eats the squirrel and the squirrel is young then the squirrel needs the rabbit. If something is young then it eats the rabbit.
The squirrel chases the rabbit.
@0: The mouse does not need the squirrel.[(triple1)] The rabbit is round.[(triple2)] The squirrel eats the rabbit.[(triple3)] @1: The rabbit is green.[(((triple2) -> rule4))]