The bear is kind. If the bear is kind and the bear is green then the bear is rough. If something is kind then it is rough. If the bear is green then the bear is rough. All cold, blue things are kind. Green, rough things are kind. If something is rough then it is cold.
The bear is not kind.
@0: The bear is kind.[(triple1)] @1: The bear is rough.[(((triple1) -> rule2))] @2: The bear is cold.[(((((triple1) -> rule2)) -> rule6))]