The mouse does not like the squirrel. The squirrel is green. The squirrel is young. The squirrel likes the mouse. The squirrel sees the tiger. The tiger is not green. The tiger likes the mouse. If someone sees the mouse then they chase the mouse. If someone sees the tiger and the tiger likes the mouse then they see the mouse. If someone likes the tiger then the tiger chases the squirrel. If someone is young then they chase the squirrel. If someone chases the mouse and they like the mouse then they are not red. If the tiger does not like the squirrel then the squirrel does not like the tiger. If someone chases the squirrel and the squirrel is not cold then the squirrel chases the tiger. If someone sees the mouse and the mouse does not chase the tiger then the tiger likes the mouse.
The squirrel does not like the tiger.
@0: The mouse does not like the squirrel.[(triple1)] The squirrel is green.[(triple2)] The squirrel is young.[(triple3)] The squirrel likes the mouse.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger is not green.[(triple6)] The tiger likes the mouse.[(triple7)] @1: The squirrel chases the squirrel.[(((triple3) -> rule4))] The squirrel sees the mouse.[(((triple5 triple7) -> rule2))] @2: The squirrel chases the mouse.[(((((triple5 triple7) -> rule2)) -> rule1))] @3: The squirrel is not red.[(((((((triple5 triple7) -> rule2)) -> rule1) triple4) -> rule5))]