The mouse eats the tiger. The mouse is cold. The mouse is rough. The mouse likes the tiger. The tiger is cold. The tiger likes the mouse. The tiger visits the mouse. If something likes the tiger and the tiger eats the mouse then the tiger is red.
The tiger is not red.
@0: The mouse eats the tiger.[(triple1)] The mouse is cold.[(triple2)] The mouse is rough.[(triple3)] The mouse likes the tiger.[(triple4)] The tiger is cold.[(triple5)] The tiger likes the mouse.[(triple6)] The tiger visits the mouse.[(triple7)]