Anne is cold. Anne is green. Bob is not blue. Bob is not furry. Bob is green. Bob is red. Dave is kind. If someone is furry and not smart then they are cold. Blue, smart people are green. If Bob is kind and Bob is cold then Bob is red. If someone is not blue then they are red. If Dave is smart and Dave is furry then Dave is not kind. All smart, cold people are red. If Anne is red and Anne is not cold then Anne is furry. If Bob is smart and Bob is not red then Bob is green.
Bob is not furry.