What is the main form of the second syllogism?

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