Why does “No nonhorse is human” not follow from “No human is a horse”?

Contraposition: Classical Rules, Validity and the Later Convention

• Human and horse mean the same
• Both are particular
• Every human is a horse
• A human is both human and nonhorse