The bear is blue. The bear is kind. The bear is round. The bear needs the tiger. The bear sees the tiger. The bear does not visit the tiger. The tiger is cold. The tiger is not kind. The tiger does not need the bear. The tiger does not see the bear. If the tiger visits the bear then the bear does not visit the tiger.
The tiger visits the bear.
@0: The bear does not visit the tiger.[(triple6)] The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear needs the tiger.[(triple4)] The bear sees the tiger.[(triple5)] The tiger does not need the bear.[(triple9)] The tiger does not see the bear.[(triple10)] The tiger is cold.[(triple7)] The tiger is not kind.[(triple8)]