yau hi parasparaparihāreṇa sthitalakṣaṇau tayor ya ekaḥ pratiṣedhaḥ so 'paravidhināntarīyakaḥ
For when two things have characteristics that exist in mutual exclusion, the negation of one necessarily implies the affirmation of the other.