"Alive Devadatta is either in his house or elsewhere. Alive Devadatta is not in his house. Therefore alive Devadatta is elsewhere." This is an example of which kind of pramana?

Living Devadatta absent from home must be outside, known by postulation or arthapatti.

Two facts are given: he is alive, and he is not in the house.

A living person must exist somewhere at every moment.

These facts cannot be reconciled unless he is presumed to be elsewhere.

This presumption is not reached by perceiving or inferring but by necessary supposition.

Assuming the unseen fact that makes the given facts consistent is arthapatti.