Anne is big. Anne is red. Anne is rough. Anne is young. Charlie is big. Charlie is green. Charlie is red. Charlie is rough. Dave is green. Dave is red. Dave is rough. Erin is big. Erin is red. Erin is rough. Erin is round. Erin is not young. If Erin is nice and Erin is round then Erin is green. Nice people are not rough. Round, young people are green. If Erin is green and Erin is not red then Erin is round. If Erin is nice and Erin is red then Erin is big. If Anne is big and Anne is young then Anne is round.
Charlie is not rough.