What does the later convention derive from “Every human is an animal”?

Contraposition: Classical Rules, Validity and the Later Convention

• No nonanimal is human
• Every nonanimal is nonhuman
• Some humans are nonanimals
• Every animal is human