Anne is blue. Anne is white. Erin is quiet. Gary is green. Gary is white. Harry is furry. Harry is quiet. If Anne is green and Anne is blue then Anne is white.
Gary is not red.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Erin is quiet.[(triple3)] Gary is green.[(triple4)] Gary is white.[(triple5)] Harry is furry.[(triple6)] Harry is quiet.[(triple7)]