The mouse chases the tiger. The squirrel sees the tiger. The tiger visits the squirrel. If someone is cold then they see the squirrel. If the tiger sees the squirrel then the tiger is blue. If someone chases the mouse and they do not see the mouse then the mouse chases the tiger. If someone sees the squirrel then the squirrel chases the mouse. If someone chases the tiger then the tiger is cold. If someone is green and blue then they chase the squirrel. If someone is blue and they do not chase the tiger then they visit the squirrel. If someone is blue and they chase the squirrel then they visit the squirrel.
The mouse does not chase the squirrel.
@0: The mouse chases the tiger.[(triple1)] The squirrel sees the tiger.[(triple2)] The tiger visits the squirrel.[(triple3)] @1: The tiger is cold.[(((triple1) -> rule5))] @2: The tiger sees the squirrel.[(((((triple1) -> rule5)) -> rule1))] @3: The squirrel chases the mouse.[(((((((triple1) -> rule5)) -> rule1)) -> rule4))] The tiger is blue.[(((((((triple1) -> rule5)) -> rule1)) -> rule2))]