pratyakṣādeḥ pramāṇasyābhāvena nivṛttyā nirṇīto niścito yaścaitrābhāvas tena viśeṣitād gehāt iha gehe caitro nāstītyataḥ caitrasya jīvane sati yābahirbhāvasiddhiḥ bahiścaitro vidyata ityevaṃniścayarūpā iha bhāṣye varṇitā śabarasvāminā
[This case] where the absence of Caitra is ascertained through the absence of perception and other pramāṇas, and where the house is qualified by this ascertained absence—meaning "Caitra is not in this house"—and where, given that Caitra is alive, his presence outside is established in the form of the ascertainment "Caitra exists outside," has been described here in the Bhāṣya by Śabarasvāmin