Anne is nice. Anne is rough. Anne is round. Anne is young. Dave is nice. Dave is not rough. Erin is green. Erin is not nice. Erin is red. Erin is rough. Erin is not white. Erin is young. Round, green people are red. If someone is not young then they are not red. All young people are green. If Erin is not green then Erin is white. If someone is red and not white then they are round. If someone is red and not round then they are rough.
Dave is young.