Anne is furry. Bob is blue. Bob is white. If Anne is furry and Anne is red then Anne is not white. If someone is rough and not green then they are not red. All red people are blue. If someone is blue and not green then they are cold. If someone is green and not furry then they are white. If Bob is red then Bob is not green. If someone is green and not cold then they are red. If someone is green and not cold then they are white.
Bob is not cold.