The cat chases the tiger. The mouse chases the tiger. The rabbit eats the tiger. The tiger visits the mouse. If the tiger visits the rabbit then the tiger does not eat the rabbit. If someone eats the cat then they chase the mouse. If the tiger is not red then the tiger chases the rabbit.
The mouse does not chase the tiger.
@0: The cat chases the tiger.[(triple1)] The mouse chases the tiger.[(triple2)] The rabbit eats the tiger.[(triple3)] The tiger visits the mouse.[(triple4)]