The Compendium of Caraka 3.8.31_1

3.8.31_1

*pūrvaṃ hi pratijñā, paścāt sthāpanā, kiṃ hyapratijñātaṃ sthāpanyiṣyati; yathā---nityaḥ puruṣa iti pratijñā; hetuḥ---akṛtakatvāditi; *dṛṣṭāntaḥ---yathā++ākāśamiti; upanayaḥ---yathā cākṛtakamākāśaṃ, tacca nityaṃ, tathā puruṣa iti; nigamanaṃ---tasmānnitya iti//

For first comes the proposition, and afterwards the establishment; for what can one establish if it is unproposed? For instance: 'The self is eternal' is the proposition; reason: 'because it is unproduced'; example: 'like space'; application: 'and just as space is unproduced and eternal, so is the self'; conclusion: 'therefore, it is eternal.'