Anne is quiet. Anne is red. Fiona is not blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is not white. Gary is white. Harry is not blue. Harry is not red. Harry is white. If Fiona is smart then Fiona is not blue. If something is blue and not smart then it is quiet.
Gary is blue.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Fiona is green.[(triple4)] Fiona is not blue.[(triple3)] Fiona is not white.[(triple8)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Gary is white.[(triple9)] Harry is not blue.[(triple10)] Harry is not red.[(triple11)] Harry is white.[(triple12)]