The dog is round. The dog is not young. The dog sees the tiger. The dog visits the tiger. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse sees the dog. The mouse sees the squirrel. The mouse visits the dog. The mouse visits the squirrel. The mouse visits the tiger. The squirrel sees the mouse. The squirrel visits the tiger. The tiger is not cold. The tiger visits the mouse. If something likes the squirrel and it is young then it does not see the mouse. If the tiger likes the squirrel then the squirrel is round. If the dog visits the mouse then the mouse is blue. If the dog does not visit the mouse then the mouse sees the squirrel. If something is round and it visits the mouse then it is rough. If the squirrel sees the dog and the dog is not rough then the dog is not blue.
The tiger is not rough.
@0: The dog is not young.[(triple2)] The dog is round.[(triple1)] The dog sees the tiger.[(triple3)] The dog visits the tiger.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the dog.[(triple8)] The mouse sees the squirrel.[(triple9)] The mouse visits the dog.[(triple10)] The mouse visits the squirrel.[(triple11)] The mouse visits the tiger.[(triple12)] The squirrel sees the mouse.[(triple13)] The squirrel visits the tiger.[(triple14)] The tiger is not cold.[(triple15)] The tiger visits the mouse.[(triple16)]