The cat is green. The cat is round. The cat likes the tiger. The cat does not visit the tiger. The lion chases the squirrel. The lion likes the squirrel. The lion likes the tiger. The lion visits the cat. The lion visits the tiger. The squirrel is cold. The squirrel likes the tiger. The tiger chases the cat. The tiger is cold. The tiger is rough. The tiger does not like the cat. The tiger does not visit the lion. If the squirrel is not round then the squirrel visits the lion. If the squirrel does not visit the tiger then the squirrel does not chase the tiger.
The squirrel does not visit the lion.
@0: The cat does not visit the tiger.[(triple4)] The cat is green.[(triple1)] The cat is round.[(triple2)] The cat likes the tiger.[(triple3)] The lion chases the squirrel.[(triple5)] The lion likes the squirrel.[(triple6)] The lion likes the tiger.[(triple7)] The lion visits the cat.[(triple8)] The lion visits the tiger.[(triple9)] The squirrel is cold.[(triple10)] The squirrel likes the tiger.[(triple11)] The tiger chases the cat.[(triple12)] The tiger does not like the cat.[(triple15)] The tiger does not visit the lion.[(triple16)] The tiger is cold.[(triple13)] The tiger is rough.[(triple14)]