The bear eats the lion. The bear is kind. The bear is rough. The bear likes the lion. The lion eats the bear. The lion does not like the bear. The lion needs the bear. If something eats the lion and the lion likes the bear then the lion does not need the bear. If something likes the lion then it needs the lion. If something likes the lion and it is young then it needs the lion. If something is nice then it likes the lion. If something is cold then it needs the bear. If something likes the lion and it needs the lion then it needs the bear. If something is rough and it likes the bear then the bear is not nice. If the lion eats the bear and the bear is cold then the lion does not like the bear.
The bear does not need the lion.
@0: The bear eats the lion.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The bear likes the lion.[(triple4)] The lion does not like the bear.[(triple6)] The lion eats the bear.[(triple5)] The lion needs the bear.[(triple7)] @1: The bear needs the lion.[(((triple4) -> rule2))] @2: The bear needs the bear.[(((triple4 ((triple4) -> rule2)) -> rule6))]