The bear is blue. The dog likes the bear. If something likes the bear then it is cold.
The bear is red.
@0: The bear is blue.[(triple1)] The dog likes the bear.[(triple2)] @1: The dog is cold.[(((triple2) -> rule1))]