The bear needs the lion. The bear sees the lion. The lion needs the bear. If something sees the bear and it chases the lion then the lion needs the bear. If something sees the bear then the bear does not need the lion. If something chases the bear then the bear is red. If something needs the lion and it is red then it is green. If something sees the lion then the lion chases the bear. If the lion chases the bear and the bear sees the lion then the lion is rough.
The bear is green.
@0: The bear needs the lion.[(triple1)] The bear sees the lion.[(triple2)] The lion needs the bear.[(triple3)] @1: The lion chases the bear.[(((triple2) -> rule5))] @2: The bear is red.[(((((triple2) -> rule5)) -> rule3))] The lion is rough.[(((((triple2) -> rule5) triple2) -> rule6))] @3: The bear is green.[(((triple1 ((((triple2) -> rule5)) -> rule3)) -> rule4))]