The bear is big. The bear is red. The bear is not rough. If something is big then it is kind. If something is kind and not rough then it is cold. All rough, cold things are not big.
The bear is red.
@0: The bear is big.[(triple1)] The bear is not rough.[(triple3)] The bear is red.[(triple2)] @1: The bear is kind.[(((triple1) -> rule1))] @2: The bear is cold.[(((((triple1) -> rule1) triple3) -> rule2))]