If the first stage entails an impossibility, what does the second stage reject?

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