Qiyās al-khalf begins by assuming the contradictory of the claim.

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