The bear is nice. If something is red then it is green. If something is red and kind then it is blue. If the bear is green then the bear is kind. Nice things are green. Kind things are red. Kind, nice things are green.
The bear is not red.
@0: The bear is nice.[(triple1)] @1: The bear is green.[(((triple1) -> rule4))] @2: The bear is kind.[(((((triple1) -> rule4)) -> rule3))] @3: The bear is red.[(((((((triple1) -> rule4)) -> rule3)) -> rule5))] @4: The bear is blue.[(((((((((triple1) -> rule4)) -> rule3)) -> rule5) ((((triple1) -> rule4)) -> rule3)) -> rule2))]