tathā hi yatra trirūpaliṅgapūrvatvaṃ tatrāvisaṃvāditvaṃ yatrāvisaṃvāditvaṃ tatra prāmāṇyaṃ, prāmāṇyāprāmāṇyayoś ca parasparaparihārasthitalakṣaṇo virodha iti sāmarthyād viruddho hetur nirdiṣṭaḥ //
For where there is the property of being produced by a three-featured indicative, there is non-contradiction; where there is non-contradiction, there is validity; and since validity and invalidity have the characteristic of mutual exclusion, the reason is shown by implication to be contradictory.