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.
Anne is nice.
@0: Anne is not blue.[(triple1)] Erin is not cold.[(triple2)] Fiona is furry.[(triple3)] Gary is big.[(triple4)]