How should “A human is not an animal” be classified?

Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts