The mouse sees the tiger. The tiger is cold. If something sees the tiger and it visits the tiger then it does not visit the mouse. If something visits the tiger and the tiger visits the mouse then the tiger sees the mouse.
The tiger is not cold.
@0: The mouse sees the tiger.[(triple1)] The tiger is cold.[(triple2)]