Bob is cold. Bob is kind. Bob is red. Charlie is blue. Charlie is cold. Charlie is green. Gary is blue. Gary is not cold. Gary is not furry. Gary is not green. If Charlie is green and Charlie is red then Charlie is not kind. If Charlie is green and Charlie is not cold then Charlie is blue. All cold people are green.
Bob is green.