Anne is big. Anne is blue. Anne is nice. Anne is rough. Anne is round. Anne is smart. Anne is not white. Dave is big. Dave is not blue. Dave is nice. Dave is not rough. Dave is round. Dave is not smart. Dave is white. If Dave is not white then Dave is big.
Anne is smart.