The bear eats the lion. The bear is red. The bear sees the tiger. The bear visits the lion. The lion does not eat the bear. The lion does not visit the bear. The lion does not visit the tiger. The tiger eats the bear. The tiger is big. The tiger is cold. The tiger does not visit the bear. The tiger visits the lion. If someone is cold and they see the lion then the lion is cold. If the bear visits the lion and the bear is not cold then the bear is not green. If someone sees the lion and they are not green then the lion eats the tiger. If someone eats the bear and they do not eat the tiger then the tiger sees the bear. If someone sees the bear then the bear is red. If someone sees the bear and the bear eats the tiger then they are red.
The tiger eats the lion.
@0: The bear eats the lion.[(triple1)] The bear is red.[(triple2)] The bear sees the tiger.[(triple3)] The bear visits the lion.[(triple4)] The lion does not eat the bear.[(triple5)] The lion does not visit the bear.[(triple6)] The lion does not visit the tiger.[(triple7)] The tiger does not visit the bear.[(triple11)] The tiger eats the bear.[(triple8)] The tiger is big.[(triple9)] The tiger is cold.[(triple10)] The tiger visits the lion.[(triple12)]