The bear is blue. The bear is cold. The bear is rough. If something is cold then it is red.
The bear does not eat the bear.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] @1: The bear is red.[(((triple2) -> rule1))]