Bob is furry. Charlie is furry. Charlie is not green. Charlie is nice. Charlie is smart. Charlie is young. Dave is furry. Dave is not rough. Dave is smart. Dave is young. If someone is green and not furry then they are smart. If someone is cold and not nice then they are rough. If someone is green then they are smart. If Dave is rough and Dave is not young then Dave is not smart. If someone is nice and not smart then they are not furry. If someone is not rough and not young then they are not cold.
Charlie is not furry.