The bear is nice. If the bear is kind then the bear is green. If someone is nice then they are kind. If someone is kind and not round then they are not green. Round people are green. Kind, round people are green. If someone is cold and kind then they are green.
The bear is green.
@0: The bear is nice.[(triple1)] @1: The bear is kind.[(((triple1) -> rule2))] @2: The bear is green.[(((((triple1) -> rule2)) -> rule1))]