Why can “Some animals are nonhuman” be affirmative?

Contraposition: Classical Rules, Validity and the Later Convention

• Nonhuman is an affirmed predicate of some animals
• It denies every animal
• It has no subject
• “Some” is a sign of negation