The cat eats the tiger. The cat is red. The cat visits the tiger. The squirrel is green. The squirrel is red. The squirrel sees the cat. The squirrel sees the tiger. The squirrel visits the cat. The squirrel does not visit the tiger. The tiger does not eat the squirrel. The tiger is big. The tiger is red. The tiger sees the cat. The tiger sees the squirrel. The tiger visits the cat. The tiger visits the squirrel. If something sees the cat and it does not eat the cat then it visits the cat. If something visits the tiger and it is not kind then it eats the squirrel. If something is blue and it does not eat the squirrel then it is not big.
The squirrel does not visit the cat.
@0: The cat eats the tiger.[(triple1)] The cat is red.[(triple2)] The cat visits the tiger.[(triple3)] The squirrel does not visit the tiger.[(triple9)] The squirrel is green.[(triple4)] The squirrel is red.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel sees the tiger.[(triple7)] The squirrel visits the cat.[(triple8)] The tiger does not eat the squirrel.[(triple10)] The tiger is big.[(triple11)] The tiger is red.[(triple12)] The tiger sees the cat.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the squirrel.[(triple16)]