yathā dhūmādiliṅgebhyaḥ pāvakādyastitāgatau / tannāstitvavyavacchedas tata evopapadyate //
Just as when the existence of fire has been ascertained through inferential marks like smoke, the exclusion of its non-existence follows from that very [ascertainment].