Which is a proper traditional result from “No human is a horse”?

Contraposition: Classical Rules, Validity and the Later Convention

• Every horse is human
• No nonhorse is human
• Some nonhorses are not nonhumans
• Some humans are horses