The cat is blue. The cat is round. The cat is young. The cat does not like the cow. The cat does not visit the cow. The cow eats the tiger. The cow is cold. The cow likes the tiger. The cow visits the cat. The cow visits the tiger. The tiger does not eat the cat. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger likes the cow. The tiger visits the cat. If something visits the tiger and the tiger is not blue then it eats the cow.
The cat does not eat the cow.
@0: The cat does not like the cow.[(triple4)] The cat does not visit the cow.[(triple5)] The cat is blue.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The cow eats the tiger.[(triple6)] The cow is cold.[(triple7)] The cow likes the tiger.[(triple8)] The cow visits the cat.[(triple9)] The cow visits the tiger.[(triple10)] The tiger does not eat the cat.[(triple11)] The tiger eats the cow.[(triple12)] The tiger is blue.[(triple13)] The tiger is cold.[(triple14)] The tiger likes the cow.[(triple15)] The tiger visits the cat.[(triple16)]