tasmād asti bhāvānām anvaya iti prasaṅgaviparyayeṇa dṛṣṭāntāsiddhimāha //
Therefore there is a positive concomitance among entities - thus through the reverse of reductio ad absurdum, [he] states the invalidity of the example.