The bear is round. The bear visits the cat. The bear does not visit the tiger. The cat does not chase the bear. The cat chases the tiger. The cat eats the bear. The cat does not eat the tiger. The cat is not green. The cat is not round. The cat visits the tiger. The tiger chases the cat. The tiger is cold. The tiger is green. The tiger is round. The tiger does not visit the bear. If the cat is round then the cat visits the bear.
The cat does not visit the bear.
@0: The bear does not visit the tiger.[(triple3)] The bear is round.[(triple1)] The bear visits the cat.[(triple2)] The cat chases the tiger.[(triple5)] The cat does not chase the bear.[(triple4)] The cat does not eat the tiger.[(triple7)] The cat eats the bear.[(triple6)] The cat is not green.[(triple8)] The cat is not round.[(triple9)] The cat visits the tiger.[(triple10)] The tiger chases the cat.[(triple11)] The tiger does not visit the bear.[(triple15)] The tiger is cold.[(triple12)] The tiger is green.[(triple13)] The tiger is round.[(triple14)]