Indeed they would, as the decision chain I posited is a form of "argumentum ad absurdum"[0].

0 - https://en.wikipedia.org/wiki/Reductio_ad_absurdum