The cow is blue. The cow is nice. The cow is red. The cow is round. The cow likes the tiger. The cow needs the tiger. The cow visits the dog. The cow visits the tiger. The dog needs the cow. The dog visits the tiger. The tiger is blue. The tiger visits the dog. If something needs the dog and it visits the tiger then the tiger visits the dog. If something is cold then it visits the dog.
The tiger is not blue.
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow likes the tiger.[(triple5)] The cow needs the tiger.[(triple6)] The cow visits the dog.[(triple7)] The cow visits the tiger.[(triple8)] The dog needs the cow.[(triple9)] The dog visits the tiger.[(triple10)] The tiger is blue.[(triple11)] The tiger visits the dog.[(triple12)]