What contradicts “No human is an animal”?

Contradiction: Definition, Conditions and Application to Propositions

• No animal is human
• Every human is an animal
• Some human is not an animal
• Some human is an animal