The bear is kind. The lion is round. The lion needs the bear. If someone needs the bear and they eat the lion then the lion eats the bear. If the lion eats the bear then the lion chases the bear. If someone is red then they eat the bear. If the bear chases the lion then the bear eats the lion. If someone is round then they eat the lion. If someone chases the bear and the bear chases the lion then they chase the lion.
The lion is not round.
@0: The bear is kind.[(triple1)] The lion is round.[(triple2)] The lion needs the bear.[(triple3)] @1: The lion eats the lion.[(((triple2) -> rule5))] @2: The lion eats the bear.[(((triple3 ((triple2) -> rule5)) -> rule1))] @3: The lion chases the bear.[(((((triple3 ((triple2) -> rule5)) -> rule1)) -> rule2))]