The mouse does not see the tiger. The rabbit eats the mouse. The squirrel sees the rabbit. The tiger is young. If someone likes the rabbit then the rabbit eats the mouse. If someone is nice then they do not like the tiger. If someone eats the mouse then they are young. If someone eats the mouse and they are young then the mouse sees the squirrel. If the squirrel eats the tiger and the squirrel likes the mouse then the squirrel likes the rabbit. If someone sees the squirrel then the squirrel likes the mouse. If someone is young then they do not see the squirrel. If someone is blue and they do not like the mouse then the mouse eats the squirrel.
The rabbit does not see the mouse.
@0: The mouse does not see the tiger.[(triple1)] The rabbit eats the mouse.[(triple2)] The squirrel sees the rabbit.[(triple3)] The tiger is young.[(triple4)] @1: The rabbit is young.[(((triple2) -> rule3))] The tiger does not see the squirrel.[(((triple4) -> rule7))] @2: The mouse sees the squirrel.[(((triple2 ((triple2) -> rule3)) -> rule4))] The rabbit does not see the squirrel.[(((((triple2) -> rule3)) -> rule7))] @3: The squirrel likes the mouse.[(((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule6))]