Which impossibility is invoked to affirm the claim?

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

• Possibility of two contraries
• Impossibility of both contradictories being false
• Synonymy
• Only partial signification