Linguistic evidence shows that presuppositions stated within the antecedent of a conditional are typically blocked rather than semantically entailed by the conditional sentence as a whole.
Judged against reference works: claims of this kind are settled by reference works, not journal abstracts.