What allows two hypothetical conditionals to be chained?

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim