Hypothetical Syllogism/Formulation 5/Proof 2