tadāpi gehāyuktatvaṃ dṛṣṭyādṛṣṭer viniścitam / atas tatra bahirbhāvo liṅādevāvasīyate //
Even then, [his] non-presence in the house is ascertained from seeing and not seeing; therefore, [his] being outside is understood from the inferential mark alone.