The dog eats the tiger. The dog is big. The dog sees the mouse. The dog does not visit the tiger. The mouse eats the tiger. The mouse is cold. The tiger is red. If someone is cold and not blue then they eat the dog. If the mouse is big and the mouse is cold then the mouse does not visit the tiger. If someone is big and not young then they do not see the mouse.
The dog does not eat the dog.
@0: The dog does not visit the tiger.[(triple4)] The dog eats the tiger.[(triple1)] The dog is big.[(triple2)] The dog sees the mouse.[(triple3)] The mouse eats the tiger.[(triple5)] The mouse is cold.[(triple6)] The tiger is red.[(triple7)]