The cow is red. The dog is kind. The rabbit is red. The tiger is rough. If the dog visits the tiger and the dog chases the tiger then the tiger is green. If the dog chases the rabbit and the dog is kind then the dog needs the tiger. If something chases the dog then the dog needs the tiger. If something visits the cow and the cow needs the dog then the dog is kind. If the cow visits the rabbit and the rabbit chases the cow then the rabbit chases the dog. If something needs the tiger and the tiger chases the cow then the cow is young. If the dog needs the tiger and the dog chases the cow then the cow chases the rabbit. If something visits the rabbit then it chases the cow.
The tiger is not rough.
@0: The cow is red.[(triple1)] The dog is kind.[(triple2)] The rabbit is red.[(triple3)] The tiger is rough.[(triple4)]