The bear eats the lion. The bear is cold. The bear is green. The bear is nice. The bear needs the lion. The bear sees the lion. The lion eats the bear. The lion is nice. The lion is red. The lion needs the bear. If the lion is cold and the lion is red then the lion sees the bear. If someone eats the lion then they need the bear.
The lion does not see the bear.
@0: The bear eats the lion.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear needs the lion.[(triple5)] The bear sees the lion.[(triple6)] The lion eats the bear.[(triple7)] The lion is nice.[(triple8)] The lion is red.[(triple9)] The lion needs the bear.[(triple10)] @1: The bear needs the bear.[(((triple1) -> rule2))]