The bear eats the tiger. The bear is cold. The bear needs the tiger. The bear sees the lion. The bear does not see the tiger. The lion eats the tiger. The lion sees the bear. The lion sees the tiger. The tiger eats the bear. The tiger eats the lion. The tiger is green. The tiger is rough. The tiger needs the bear. The tiger needs the lion. The tiger sees the lion. If the bear does not need the lion then the bear sees the tiger. If the lion needs the bear and the bear sees the tiger then the tiger is not nice. If the bear is green then the bear does not eat the lion. If someone needs the bear then the bear is green. If the tiger is rough then the tiger sees the lion. If the bear sees the tiger then the tiger does not eat the lion.
The bear is green.
@0: The bear does not see the tiger.[(triple5)] The bear eats the tiger.[(triple1)] The bear is cold.[(triple2)] The bear needs the tiger.[(triple3)] The bear sees the lion.[(triple4)] The lion eats the tiger.[(triple6)] The lion sees the bear.[(triple7)] The lion sees the tiger.[(triple8)] The tiger eats the bear.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the bear.[(triple13)] The tiger needs the lion.[(triple14)] The tiger sees the lion.[(triple15 OR ((triple12) -> rule5))] @1: The bear is green.[(((triple13) -> rule4))] @2: The bear does not eat the lion.[(((((triple13) -> rule4)) -> rule3))]