Anne is white. Dave is cold. Erin is blue. Harry is big. Cold people are white.
Dave is green.
@0: Anne is white.[(triple1)] Dave is cold.[(triple2)] Erin is blue.[(triple3)] Harry is big.[(triple4)] @1: Dave is white.[(((triple2) -> rule1))]