The bear needs the lion. The lion chases the bear. The lion eats the bear. The lion is not cold. The lion is round. The lion is young. The lion needs the bear. If someone is young then they are blue. If someone needs the bear and the bear is round then they eat the bear.
The bear is young.
@0: The bear needs the lion.[(triple1)] The lion chases the bear.[(triple2)] The lion eats the bear.[(triple3)] The lion is not cold.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion needs the bear.[(triple7)] @1: The lion is blue.[(((triple6) -> rule1))]