How many syllogisms underlie qiyās al-khalf in the text?

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