Bob is cold. Bob is green. Bob is kind. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is not red. Dave is not smart. Harry is cold. Harry is furry. Harry is green. Harry is not kind. Harry is not nice. Harry is red. Harry is smart. If someone is smart and not green then they are red. If Bob is green then Bob is furry. If Harry is not cold then Harry is kind. If Dave is smart then Dave is not furry. If Dave is not nice then Dave is not kind. If Bob is kind then Bob is furry.
Bob is not red.