Bob is furry. Bob is not nice. Bob is not rough. Bob is young. Charlie is red. Charlie is rough. Charlie is round. Charlie is not young. Dave is furry. Dave is young. Gary is furry. Gary is kind. Gary is not nice. Gary is rough. Gary is round. Gary is not young. All young things are red. All kind, young things are nice. If Dave is red then Dave is not nice. Red things are round. If something is kind and not red then it is rough. If Gary is not nice then Gary is furry.
Charlie is furry.