The dog sees the squirrel. The mouse is young. The rabbit is green. The squirrel sees the mouse. If someone sees the mouse then they like the mouse. If someone is blue and they eat the dog then they like the mouse. If someone eats the rabbit then the rabbit likes the dog. If the dog likes the squirrel then the squirrel sees the mouse. If someone likes the mouse then they are green. If someone is blue and they like the rabbit then the rabbit sees the dog.
The squirrel is green.
@0: The dog sees the squirrel.[(triple1)] The mouse is young.[(triple2)] The rabbit is green.[(triple3)] The squirrel sees the mouse.[(triple4)] @1: The squirrel likes the mouse.[(((triple4) -> rule1))] @2: The squirrel is green.[(((((triple4) -> rule1)) -> rule5))]