The dog is big. The dog likes the mouse. The lion eats the dog. The lion eats the mouse. The lion likes the tiger. The lion visits the dog. The lion visits the tiger. The mouse eats the tiger. The mouse is big. The mouse likes the tiger. The mouse visits the lion. The tiger visits the dog. If something likes the dog and it eats the mouse then the dog eats the mouse. If something is rough then it visits the tiger. If something likes the lion and the lion is red then the lion eats the mouse.
The dog is not big.
@0: The dog is big.[(triple1)] The dog likes the mouse.[(triple2)] The lion eats the dog.[(triple3)] The lion eats the mouse.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the dog.[(triple6)] The lion visits the tiger.[(triple7)] The mouse eats the tiger.[(triple8)] The mouse is big.[(triple9)] The mouse likes the tiger.[(triple10)] The mouse visits the lion.[(triple11)] The tiger visits the dog.[(triple12)]