In a conditional syllogism, denying the consequent validly denies the antecedent.

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