yathāhi hetuviparītena kṛtakatvena sādhyaviparītaṃ mithyātvaṃ vyāptam, pauruṣeyeṣveva mithyātvasya darśanāt, tataś ca yatra mithyātvavyāpakaviruddhamakṛtakatvaṃ sannidhīyate, tatra virodhenākṛtakatvasya mithyātvavyāpakasya nivṛttau vyāpyasyāpi mithyātvasya sāmarthyānnivṛttisiddhir ityakṛtakaṃ satyārtham iti sāmarthyād bhaved vināpyanvayeneti vyarthamanvayapradarśanam
For being produced, which is the opposite of the reason, pervades falsity, which is the opposite of the probandum, since falsity is observed only in human productions. Thus where non-produced nature, which contradicts what pervades falsity, is present, there due to contradiction, when what pervades falsity is negated, the pervaded falsity too is necessarily negated. Therefore [the conclusion that] what is non-produced expresses truth would follow even without a positive concomitance, making the demonstration of positive concomitance superfluous.