... the conclusion is true, these assumptions have to be true, too. A ... necessarily has to be true if the conclusion is true. You can ... the conclusion is true, the NA HAS to be true, too.
... the conclusion is true, must this NA also have to be true?
& ...