Anne is nice. Dave is blue. Dave is green. Dave is nice. Dave is round. Dave is smart. Erin is not smart. If Dave is not smart then Dave is rough. If someone is rough and smart then they are blue. If someone is green and nice then they are rough.
Anne is rough.