Bob is furry. Bob is not nice. Bob is rough. Charlie is kind. Dave is big. Dave is furry. Dave is green. Dave is nice. Gary is kind. Gary is rough. Gary is young. If someone is nice then they are green. Young people are nice. All kind people are rough. All rough, kind people are young. If Dave is kind and Dave is big then Dave is nice. All young, green people are not big. If someone is nice and not green then they are young.
Charlie is rough.