What is the appropriate conclusion of the first syllogism?

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

• If the contradictory holds, an impossibility follows
• The claim is established without proof
• Every impossibility is true
• All conditionals are disjunctive