Anne is not blue. Erin is not cold. Fiona is furry. Gary is big. If Gary is cold and Gary is not nice then Gary is big.
Gary is not big.
@0: Anne is not blue.[(triple1)] Erin is not cold.[(triple2)] Fiona is furry.[(triple3)] Gary is big.[(triple4)]