The bear chases the dog. The bear is not green. The bear sees the cat. The cat visits the bear. The cat visits the tiger. The dog visits the cat. The tiger is round. If something chases the dog and the dog sees the cat then the dog is round. If the dog chases the tiger then the dog is not round. If the tiger does not see the cat and the cat is not green then the tiger does not visit the cat. If something is kind and it chases the tiger then it is rough. If the bear is round and the bear is not green then the bear is rough. If something visits the cat and it is not green then the cat visits the tiger. If something visits the dog and it sees the bear then the dog does not see the tiger. If something is rough and it sees the dog then the dog sees the bear.
The tiger is not round.
@0: The bear chases the dog.[(triple1)] The bear is not green.[(triple2)] The bear sees the cat.[(triple3)] The cat visits the bear.[(triple4)] The cat visits the tiger.[(triple5)] The dog visits the cat.[(triple6)] The tiger is round.[(triple7)]