The bear chases the lion. The bear is big. The bear is kind. The lion chases the bear. The lion eats the bear. The lion is young. The lion needs the bear. If someone needs the bear then the bear eats the lion.
The lion eats the lion.
@0: The bear chases the lion.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The lion chases the bear.[(triple4)] The lion eats the bear.[(triple5)] The lion is young.[(triple6)] The lion needs the bear.[(triple7)] @1: The bear eats the lion.[(((triple7) -> rule1))]