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