nanu hetumukhe nirdiṣṭam ajñeyaṃ kalpitaṃ kṛtvā tadvyavacchedena jñeye 'numānam iti
[It was] stated in the section on inference that, having assumed something unknowable, [one makes] an inference about the knowable through the exclusion of that [unknowable].