The cow chases the dog. The cow is blue. The dog chases the tiger. The dog is blue. The dog does not like the tiger. The dog visits the cow. The dog does not visit the rabbit. The rabbit does not chase the tiger. The rabbit is red. The tiger visits the cow. If something visits the dog then the dog is red. If the tiger visits the rabbit and the tiger does not visit the dog then the rabbit visits the tiger.
The tiger is blue.
@0: The cow chases the dog.[(triple1)] The cow is blue.[(triple2)] The dog chases the tiger.[(triple3)] The dog does not like the tiger.[(triple5)] The dog does not visit the rabbit.[(triple7)] The dog is blue.[(triple4)] The dog visits the cow.[(triple6)] The rabbit does not chase the tiger.[(triple8)] The rabbit is red.[(triple9)] The tiger visits the cow.[(triple10)]