The dog eats the mouse. The dog eats the tiger. The dog is kind. The dog is red. The dog does not visit the tiger. The mouse is kind. The mouse is nice. The mouse does not visit the tiger. The tiger eats the dog. The tiger eats the mouse. The tiger is big. The tiger is cold. The tiger is nice. The tiger needs the dog. The tiger needs the mouse. The tiger visits the dog. If the mouse is kind and the mouse is big then the mouse does not need the dog. If someone needs the tiger then the tiger does not visit the dog.
The tiger is not big.
@0: The dog does not visit the tiger.[(triple5)] The dog eats the mouse.[(triple1)] The dog eats the tiger.[(triple2)] The dog is kind.[(triple3)] The dog is red.[(triple4)] The mouse does not visit the tiger.[(triple8)] The mouse is kind.[(triple6)] The mouse is nice.[(triple7)] The tiger eats the dog.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger needs the dog.[(triple14)] The tiger needs the mouse.[(triple15)] The tiger visits the dog.[(triple16)]