Anne is cold. Anne is green. Anne is nice. Anne is red. Erin is cold. Erin is green. Erin is nice. Fiona is red. Gary is nice. Gary is red. If Gary is cold then Gary is quiet.
Gary is not quiet.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] Fiona is red.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)]