Bob is cold. Bob is nice. Bob is red. Charlie is blue. Charlie is cold. Charlie is not green. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is smart. Cold people are nice. If someone is not red and not green then they are blue. If Charlie is nice then Charlie is smart. If someone is not cold then they are white. If Gary is blue and Gary is not red then Gary is white. If someone is not green and not white then they are blue.
Bob is green.