“Some living beings are human” entails all the rest are not human.

Propositions: Categorical and Conditional Forms