Anne is not blue. Anne is cold. Anne is quiet. Anne is red. Anne is not round. Fiona is blue. Fiona is cold. If Fiona is red and Fiona is green then Fiona is cold. All round people are green. If Fiona is round then Fiona is not big. If Fiona is round and Fiona is red then Fiona is quiet. If Anne is not cold and Anne is not green then Anne is red. All quiet, blue people are not big. If Anne is blue and Anne is not green then Anne is quiet. All red, blue people are not quiet.
Anne is not green.
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1)] Anne is not round.[(triple5)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)]