In terms of Indian logic, "This hill has smoke which is invariably associated with fire", is called:
1
Pratigya or proposition
2
Universal concomitance together with an example
3
Upanaya - the application of the universal concomitance to the present case
4
Conclusion or Nigamana drawn from the preceding proposition