Inductive reasoning - The judgement based on the Anvaya (statement of the constant and invariable concomitance of the Sādhana (proban or middle term) (or Hetu) and the Sādhya (probandum or major term)) and Vyatireka (assertion of the concomitance of the absence of Sādhya and the absence of Sādliana)-, for example, the Anvaya is - wherever there is smoke, there is fire; the Vyatireka is - wherever there is no fire, there is no smoke.
anvayavyatirekanirṇayastarkah.
....anvayaḥ yathā - yatra dhiimastatrāgniḥ, agnāveva vā dhūmaḥ...vyatirekaḥ, yathā - agnyabhāve na dhūmaḥ.
(Bhikṣu 3.7 Vṛ)