When does “the contradictory is false, therefore the claim is true” follow?

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