The lion eats the mouse. The lion eats the tiger. The mouse chases the lion. The mouse does not chase the squirrel. The mouse eats the squirrel. The mouse eats the tiger. The mouse is kind. The mouse visits the lion. The mouse does not visit the squirrel. The mouse visits the tiger. The squirrel chases the tiger. The squirrel eats the tiger. The squirrel does not visit the mouse. The tiger eats the squirrel. The tiger is blue. The tiger visits the lion. If someone visits the mouse then the mouse does not visit the tiger.
The lion does not visit the squirrel.
@0: The lion eats the mouse.[(triple1)] The lion eats the tiger.[(triple2)] The mouse chases the lion.[(triple3)] The mouse does not chase the squirrel.[(triple4)] The mouse does not visit the squirrel.[(triple9)] The mouse eats the squirrel.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is kind.[(triple7)] The mouse visits the lion.[(triple8)] The mouse visits the tiger.[(triple10)] The squirrel chases the tiger.[(triple11)] The squirrel does not visit the mouse.[(triple13)] The squirrel eats the tiger.[(triple12)] The tiger eats the squirrel.[(triple14)] The tiger is blue.[(triple15)] The tiger visits the lion.[(triple16)]