Bob is not red. Charlie is young. Dave is young. Erin is not young. All red things are not green. If Charlie is round then Charlie is green. If something is not round then it is blue. Young things are furry. All furry things are red. If Dave is green and Dave is not big then Dave is blue. All red, blue things are furry. If something is big and not green then it is not blue.
Dave is not young.