prayogaḥ yadyadākāraśūnyaṃ na tattadviṣayam yathā rūpajñānaṃ na śabdaviṣayam bāhyākāraśūnyaṃ cānumānamānam iti vyāpakaviruddhopalabdhiḥ /
[This is] the formal reasoning: Whatever is devoid of the form of something cannot have that [thing] as its object, just as the cognition of form cannot have sound as its object; and inferential cognition is devoid of external form - thus [this is] the perception of something contradictory to the pervader.