The bear does not visit the dog. The dog does not visit the bear. The tiger is not green. If someone visits the tiger then the tiger eats the dog. If someone visits the bear and the bear is cold then they are green. If someone eats the tiger and they are green then they eat the bear. If the tiger does not visit the dog then the dog eats the tiger. If the bear likes the dog and the bear does not visit the tiger then the tiger likes the dog. If someone visits the tiger then the tiger is not green.
The dog does not visit the bear.
@0: The bear does not visit the dog.[(triple1)] The dog does not visit the bear.[(triple2)] The tiger is not green.[(triple3)]