Hypothetical and Disjunctive Syllogism

Chaining two conditionals, and closing off one arm of a disjunction