Anne is cold. Dave is blue. Dave is cold. Cold people are blue. Nice, quiet people are red.
Dave is blue.
@0: Anne is cold.[(triple1)] Dave is blue.[(triple2 OR ((triple3) -> rule1))] Dave is cold.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))]