Anne is red. Anne is round. Anne is smart. Anne is young. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Dave is round. Dave is smart. Gary is round. Gary is young. Round, green people are nice. Smart people are round. If someone is smart then they are red. All young people are round. All red, nice people are young. All red, young people are green. If someone is round then they are smart. If Dave is young then Dave is smart.
Dave is not red.