text: The methodology of inference involves a combination of induction and deduction by moving from particular to particular via generality. It has five steps, as in the example shown:
  * There is fire on the hill (called Pratijñā, required to be proved)
  * Because there is smoke there (called Hetu, reason)
  * Wherever there is smoke, there is fire, e.g. in a kitchen (called Udāhārana, example of vyāpti)
  * The hill has smoke that is pervaded by fire (called Upanaya, reaffirmation or application)
  * Therefore, there is fire on the hill (called Nigamana, conclusion)
  In Nyāya terminology for this example, the hill would be the paksha (minor term), the fire is the sādhya (major term), the smoke is hetu, and the relationship between the smoke and the fire is vyapti(middle term).
  Hetu further has five characteristics
  * It must be present in the Paksha (the case under consideration), 
  * It must be present in all positive instances (sapaksha, or homologues),
  * It must be absent in all negative instances
  * It must not be incompatible with an established truth, (abādhitatva)
  * Absence of another evidence for the opposite thesis (asatpratipakshitva)
  The fallacies in Anumana (hetvābhasa) may occur due to the following
  #Asiddha: It is the unproved hetu that results in this fallacy.
  #*Ashrayasiddha: If Paksha [minor term] itself is unreal, then there cannot be locus of the hetu. e.g. The sky-lotus is fragrant, because it is a lotus like any other lotus.
  #*Svarupasiddha: Hetu cannot exist in paksa at all. E.g. Sound is a quality, because it is visible.
  #*Vyapyatvasiddha: Conditional hetu. `Wherever there is fire, there is smoke'. The presence of smoke is due to wet fuel.
  #Savyabhichara: This is the fallacy of irregular hetu.
  #*Sadharana: The hetu is too wide. It is present in both sapaksa and vipaksa. `The hill has fire because it is knowable'.
  #*Asadharana: The hetu is too narrow. It is only present in the Paksha, it is not present in the Sapaksa and in the Vipaksha. `Sound is eternal because it is audible'.
  #*Anupasamhari: Here the hetu is non-exclusive. The hetu is all-inclusive and leaves nothing by way of sapaksha or vipaksha. e.g. All things are non-ternal, because they are knowable.
  #Satpratipaksa: Here the hetu is contradicted by another hetu. If both have equal force, then nothing follows. Sound is eternal, because it is audible, and Sound is non-eternal, because it is produced. Here audible is counterbalanced by produced and both are of equal force.
  #Badhita: When another proof (as by perception) definitely contradicts and disproves the middle term (hetu). Fire is cold because it is a substance.
  #Viruddha: Instead of proving something it is proving the opposite. Sound is eternal because it is produced.