Charlie is blue. Charlie is cold. Charlie is not nice. Dave is cold. Dave is quiet. Erin is big. Erin is white. Gary is big. Gary is not blue. Gary is nice. Gary is quiet. Gary is smart. If Erin is quiet and Erin is white then Erin is cold. All quiet things are white. All smart, big things are white. If something is big then it is smart. All blue, cold things are big. If something is smart and not nice then it is white. If something is not nice then it is cold. If something is not white then it is cold.
Gary is cold.