The bear eats the tiger. The bear is green. The bear does not need the tiger. The bear sees the tiger. The tiger eats the bear. The tiger is cold. The tiger is not green. The tiger is kind. The tiger is nice. The tiger is red. The tiger does not need the bear. The tiger sees the bear. If the bear sees the tiger and the bear does not need the tiger then the bear is kind.
The tiger eats the tiger.
@0: The bear does not need the tiger.[(triple3)] The bear eats the tiger.[(triple1)] The bear is green.[(triple2)] The bear sees the tiger.[(triple4)] The tiger does not need the bear.[(triple11)] The tiger eats the bear.[(triple5)] The tiger is cold.[(triple6)] The tiger is kind.[(triple8)] The tiger is nice.[(triple9)] The tiger is not green.[(triple7)] The tiger is red.[(triple10)] The tiger sees the bear.[(triple12)] @1: The bear is kind.[(((triple4 triple3) -> rule1))]