Anne is red. Anne is rough. Charlie is big. Charlie is nice. Charlie is not quiet. Charlie is not red. Charlie is rough. Charlie is round. Dave is red. Erin is nice. Nice, quiet people are not big. Big, red people are not round. If someone is not round then they are red. If Anne is red and Anne is quiet then Anne is nice. All round people are not green. If Dave is quiet and Dave is not red then Dave is big. If someone is round and not red then they are rough. If someone is not big then they are quiet.
Dave is nice.