The cow is cold. The cow needs the rabbit. The cow visits the dog. The dog chases the cow. The dog chases the rabbit. The dog is blue. The dog is red. The dog needs the cow. The dog needs the rabbit. The dog visits the cow. The dog visits the rabbit. The rabbit is cold. The rabbit needs the dog. The rabbit visits the tiger. The tiger is big. The tiger needs the dog. If the tiger chases the dog then the dog is big. If something is big and it visits the tiger then the tiger visits the rabbit.
The dog is not big.
@0: The cow is cold.[(triple1)] The cow needs the rabbit.[(triple2)] The cow visits the dog.[(triple3)] The dog chases the cow.[(triple4)] The dog chases the rabbit.[(triple5)] The dog is blue.[(triple6)] The dog is red.[(triple7)] The dog needs the cow.[(triple8)] The dog needs the rabbit.[(triple9)] The dog visits the cow.[(triple10)] The dog visits the rabbit.[(triple11)] The rabbit is cold.[(triple12)] The rabbit needs the dog.[(triple13)] The rabbit visits the tiger.[(triple14)] The tiger is big.[(triple15)] The tiger needs the dog.[(triple16)]