The bear needs the lion. The lion is kind. If something needs the lion then the lion likes the bear. If something likes the lion then the lion does not like the bear. If the lion is round then the lion is green. If the lion chases the bear then the bear is not nice. If the lion likes the bear then the lion needs the bear. If something likes the bear and it needs the bear then the bear is not cold. If the lion needs the bear and the bear does not need the lion then the bear does not like the lion. If something likes the bear then it is cold.
The bear chases the lion.
@0: The bear needs the lion.[(triple1)] The lion is kind.[(triple2)] @1: The lion likes the bear.[(((triple1) -> rule1))] @2: The lion is cold.[(((((triple1) -> rule1)) -> rule8))] The lion needs the bear.[(((((triple1) -> rule1)) -> rule5))] @3: The bear is not cold.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule5)) -> rule6))]