The mouse is red. The tiger likes the mouse. If someone chases the mouse and they do not like the tiger then the tiger likes the mouse. If someone likes the mouse then the mouse chases the tiger.
The mouse does not chase the tiger.
@0: The mouse is red.[(triple1)] The tiger likes the mouse.[(triple2)] @1: The mouse chases the tiger.[(((triple2) -> rule2))]