The bear is cold. The bear is red. The bear is round. Round things are blue. Kind things are blue. Blue, red things are kind.
The bear is not kind.
@0: The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear is round.[(triple3)] @1: The bear is blue.[(((triple3) -> rule1))] @2: The bear is kind.[(((((triple3) -> rule1) triple2) -> rule3))]