Erin is nice. Erin is white. Gary is big. Gary is not blue. Gary is cold. Gary is red. Gary is white. Big, blue things are smart. Smart things are blue. If Erin is nice then Erin is cold. If something is blue and not white then it is big. If something is cold and nice then it is blue. If something is nice and not blue then it is not big.
Gary is not blue.