Anne is blue. Anne is round. Dave is round. Fiona is blue. Fiona is rough. Gary is blue. Gary is rough. All cold, blue things are green. Cold things are rough.
Anne is not rough.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Dave is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is rough.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)]