The cat does not visit the tiger. The cow is kind. The dog is kind. The tiger visits the cow. If the cow is not red and the cow does not need the dog then the cow is green. If something is green then it needs the cat. If the cat visits the dog then the cat does not visit the tiger. If something visits the cat and it is green then it is cold. If something needs the cat and it does not visit the cow then it is not nice. If something visits the tiger then it eats the tiger. If something is cold then it needs the cow. If something is kind and not nice then it does not eat the cat.
The cow visits the tiger.
@0: The cat does not visit the tiger.[(triple1)] The cow is kind.[(triple2)] The dog is kind.[(triple3)] The tiger visits the cow.[(triple4)]