Hypothetical Syllogism/Formulation 1