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