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 does not visit the bear.
@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))]