Anne is not nice. Anne is red. Anne is round. Anne is smart. Charlie is not red. Dave is green. Gary is not green. Gary is nice. Gary is quiet. Gary is not round. If Anne is not round then Anne is big. If Dave is big and Dave is not smart then Dave is not red. Quiet, round people are big. If someone is green then they are not round. Round, quiet people are big. If someone is not smart then they are nice. All round, smart people are not green. All nice, green people are big.
Dave is quiet.