The bear eats the tiger. The bear is green. The bear does not visit the cat. The bear visits the lion. The cat chases the bear. The cat is big. The cat is blue. The cat is red. The cat visits the lion. The lion does not visit the tiger. The tiger chases the lion. The tiger eats the lion. If the lion chases the cat and the lion is not blue then the lion chases the bear. If the tiger is not young then the tiger visits the cat. If the lion visits the bear and the lion chases the cat then the cat visits the lion.
The tiger does not visit the cat.
@0: The bear does not visit the cat.[(triple3)] The bear eats the tiger.[(triple1)] The bear is green.[(triple2)] The bear visits the lion.[(triple4)] The cat chases the bear.[(triple5)] The cat is big.[(triple6)] The cat is blue.[(triple7)] The cat is red.[(triple8)] The cat visits the lion.[(triple9)] The lion does not visit the tiger.[(triple10)] The tiger chases the lion.[(triple11)] The tiger eats the lion.[(triple12)]