Hypothetical Syllogism/Formulation 4/Proof 2