Anne is white. Dave is green. Fiona is cold. If someone is green and not white then they are not blue.
Fiona is not blue.
@0: Anne is white.[(triple1)] Dave is green.[(triple2)] Fiona is cold.[(triple3)]