Charlie is red. Dave is big. Harry is green. If Harry is green then Harry is cold.
Dave is not cold.
@0: Charlie is red.[(triple1)] Dave is big.[(triple2)] Harry is green.[(triple3)] @1: Harry is cold.[(((triple3) -> rule1))]