Bob is green. Bob is not quiet. Bob is red. Charlie is not young. Dave is not nice. Dave is not red. Dave is young. Gary is quiet. Gary is not smart. Gary is not young. If Charlie is smart then Charlie is not red. All young people are smart. If Dave is quiet then Dave is not young. If someone is not young then they are white. If someone is white then they are not nice. White, red people are green. If someone is not smart then they are red. If someone is young and not smart then they are nice.
Dave is not red.