Anne is cold. Dave is cold. Fiona is rough. If something is cold then it is blue. All quiet, white things are blue.
Anne is quiet.
@0: Anne is cold.[(triple1)] Dave is cold.[(triple2)] Fiona is rough.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))] Dave is blue.[(((triple2) -> rule1))]