What is the earlier contrapositive of “Every human is an animal”?

Contraposition: Classical Rules, Validity and the Later Convention

Every animal is human
Some animals are human
No humans are animals
Every nonanimal is nonhuman