Hypothetico-deductive reasoning