Bob is green. Gary is smart. If Bob is not white then Bob is green. If Bob is cold then Bob is red. All smart people are not green. All red people are not furry. If someone is furry and green then they are not smart. If someone is white then they are furry. If someone is not furry and not round then they are cold. If someone is round and not cold then they are green.
Bob is not white.