Anne is green. Anne is quiet. Dave is cold. Fiona is nice. Fiona is white. Gary is cold. Gary is quiet. If someone is furry then they are green. If Gary is furry and Gary is not cold then Gary is white.
Gary is not quiet.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Dave is cold.[(triple3)] Fiona is nice.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is quiet.[(triple7)]