The bear is green. The lion eats the bear. If something eats the lion then it needs the bear. If something eats the lion then the lion is round. If something needs the bear and the bear is not kind then it eats the lion. If something eats the bear then it eats the lion. If something is round then it chases the bear. If something needs the bear and the bear does not eat the lion then the bear chases the lion. If the lion needs the bear then the bear does not chase the lion. If the lion does not chase the bear then the lion is kind.
The lion eats the lion.
@0: The bear is green.[(triple1)] The lion eats the bear.[(triple2)] @1: The lion eats the lion.[(((triple2) -> rule4))] @2: The lion is round.[(((((triple2) -> rule4)) -> rule2))] The lion needs the bear.[(((((triple2) -> rule4)) -> rule1))] @3: The bear does not chase the lion.[(((((((triple2) -> rule4)) -> rule1)) -> rule7))] The lion chases the bear.[(((((((triple2) -> rule4)) -> rule2)) -> rule5))]