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