The bear is cold. The bear is nice. The bear likes the lion. The bear needs the lion. The bear sees the tiger. The lion is green. The lion is kind. The lion likes the bear. The lion likes the tiger. The tiger is big. The tiger is cold. The tiger is kind. The tiger needs the bear. The tiger needs the lion. The tiger sees the bear. The tiger sees the lion. If the tiger sees the lion then the lion is kind.
The tiger does not see the lion.
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2)] The bear likes the lion.[(triple3)] The bear needs the lion.[(triple4)] The bear sees the tiger.[(triple5)] The lion is green.[(triple6)] The lion is kind.[(triple7 OR ((triple16) -> rule1))] The lion likes the bear.[(triple8)] The lion likes the tiger.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger needs the bear.[(triple13)] The tiger needs the lion.[(triple14)] The tiger sees the bear.[(triple15)] The tiger sees the lion.[(triple16)]