Which is the correct contradictory of “Every human is an animal”?

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

• Some human is not an animal
• No human is an animal
• Some humans are animals
• Every animal is a human