The mouse chases the tiger. The squirrel eats the mouse. The tiger does not chase the mouse. If something is red then it does not chase the squirrel.
The squirrel eats the mouse.
@0: The mouse chases the tiger.[(triple1)] The squirrel eats the mouse.[(triple2)] The tiger does not chase the mouse.[(triple3)]