Bob is cold. Charlie is blue. Erin is cold. Gary is blue. All nice people are round. Blue, green people are big. If Gary is green and Gary is nice then Gary is blue. If someone is round and green then they are nice. Nice people are big. All big, blue people are cold.
Gary is not blue.