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