The bear is kind. If something is nice then it is rough. If something is rough then it is round. If the bear is kind then the bear is nice.
The bear is not kind.
@0: The bear is kind.[(triple1)] @1: The bear is nice.[(((triple1) -> rule3))] @2: The bear is rough.[(((((triple1) -> rule3)) -> rule1))] @3: The bear is round.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]