The bear is blue. The bear is cold. The bear is not green. The bear is nice. The bear is young. The bear does not like the lion. The bear does not need the lion. The bear sees the lion. The lion is green. The lion is nice. The lion is not young. The lion likes the bear. If something sees the lion then the lion is not cold. If something needs the lion and the lion sees the bear then the bear likes the lion.
The lion is not blue.
@0: The bear does not like the lion.[(triple6)] The bear does not need the lion.[(triple7)] The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple4)] The bear is not green.[(triple3)] The bear is young.[(triple5)] The bear sees the lion.[(triple8)] The lion is green.[(triple9)] The lion is nice.[(triple10)] The lion is not young.[(triple11)] The lion likes the bear.[(triple12)] @1: The lion is not cold.[(((triple8) -> rule1))]