Anne is blue. Erin is blue. Fiona is quiet. Harry is white. If Harry is blue and Harry is green then Harry is white.
Anne is not blue.
@0: Anne is blue.[(triple1)] Erin is blue.[(triple2)] Fiona is quiet.[(triple3)] Harry is white.[(triple4)]