Anne is green. Anne is red. Bob is blue. Charlie is cold. Charlie is green. Harry is cold. Harry is not smart. All cold, green things are blue. If something is blue then it is green. If Bob is green then Bob is blue. If something is green and blue then it is furry. Blue, quiet things are red. If something is furry then it is quiet. If Harry is quiet then Harry is not cold. Furry, red things are cold. Smart, quiet things are furry.
Bob is not furry.