ata evābhāvapramāṇaviṣayīkṛtavigrahatvam apyasiddham, arthāpattyā viṣayīkṛtatvāt //
For this very reason, [the claim of his] being comprehended through negative proof is unestablished, because [he] is comprehended through presumption.