Charlie is young. Dave is rough. If Dave is young and Dave is not green then Dave is red. Furry people are rough. All red, young people are nice. Young people are not green. All rough people are furry. If someone is furry and not green then they are young.
Charlie is not rough.