Hypothetical Syllogism/Formulation 2