The bear is round. The bear visits the dog. The bear visits the tiger. The dog eats the bear. The dog eats the tiger. The dog is not blue. The dog sees the bear. The dog does not visit the tiger. The tiger eats the dog. The tiger is round. If someone visits the dog and the dog does not eat the bear then they see the dog. If someone is blue then they see the dog. If someone eats the bear and they do not see the dog then they visit the bear.
The tiger does not eat the dog.
@0: The bear is round.[(triple1)] The bear visits the dog.[(triple2)] The bear visits the tiger.[(triple3)] The dog does not visit the tiger.[(triple8)] The dog eats the bear.[(triple4)] The dog eats the tiger.[(triple5)] The dog is not blue.[(triple6)] The dog sees the bear.[(triple7)] The tiger eats the dog.[(triple9)] The tiger is round.[(triple10)]