What must be assumed initially?

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

• An unrelated statement
• Any similar statement
• The actual contradictory of the claim
• Only the truth of the conclusion