Which follows under the later convention from “Every student is human”?

Contraposition: Classical Rules, Validity and the Later Convention

• Every nonhuman is a nonstudent
• No nonhuman is a student
• Every human is a student
• Some students are not human