The bear does not eat the lion. The bear is cold. The bear is green. The bear is young. The bear needs the lion. The bear sees the lion. The lion eats the bear. The lion is cold. The lion is kind. The lion is young. The lion needs the bear. The lion does not see the bear. If something needs the bear and the bear is cold then it eats the lion. Kind, young things are cold.
The lion does not eat the bear.
@0: The bear does not eat the lion.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is young.[(triple4)] The bear needs the lion.[(triple5)] The bear sees the lion.[(triple6)] The lion does not see the bear.[(triple12)] The lion eats the bear.[(triple7)] The lion is cold.[(triple8 OR ((triple9 triple10) -> rule2))] The lion is kind.[(triple9)] The lion is young.[(triple10)] The lion needs the bear.[(triple11)] @1: The lion eats the lion.[(((triple11 triple2) -> rule1))]