Anne is nice. Bob is blue. Bob is furry. Bob is smart. Charlie is cold. Charlie is rough. Harry is nice. If Charlie is cold then Charlie is nice. If someone is smart then they are nice. If someone is smart and red then they are not furry. If someone is blue and not rough then they are furry. Furry, nice people are cold. All red people are nice. If someone is smart and not nice then they are cold. If someone is not cold and not nice then they are red.
Bob is smart.