Which is the contradictory of “Some birds fly”?

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

• Some birds do not fly
• All birds fly
• No bird flies
• All animals are birds