The dog is red. The dog needs the tiger. The dog visits the squirrel. The rabbit does not need the squirrel. The rabbit visits the dog. The squirrel chases the dog. The squirrel is green. The squirrel is red. The tiger chases the rabbit. The tiger visits the squirrel. If someone is red and they do not visit the tiger then the tiger is big. If someone needs the tiger and they do not need the dog then the tiger is not big. If the tiger visits the rabbit then the rabbit needs the tiger. If someone is young then they are not cold. If someone chases the squirrel and they are not red then the squirrel chases the dog. If someone visits the tiger and the tiger chases the squirrel then the squirrel is not big.
The tiger visits the dog.
@0: The dog is red.[(triple1)] The dog needs the tiger.[(triple2)] The dog visits the squirrel.[(triple3)] The rabbit does not need the squirrel.[(triple4)] The rabbit visits the dog.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel is green.[(triple7)] The squirrel is red.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger visits the squirrel.[(triple10)]