A surprising consequence is automatically impossible in logic.

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