Hypothetical Syllogism/Formulation 2/Proof 2