The bear is blue. The bear is cold. The bear is kind. Kind things are big. If something is green and big then it is blue.
The bear is green.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] @1: The bear is big.[(((triple3) -> rule1))]