... conclusion to be true. If the necessary assumption is false, the ... that, if false, would prevent the conclusion from being true.
... the conclusion is true, the NA must also be true. This is different ... NA is simply what must be true if said conclusion is ...