Why is “الإنسان ليس بفرس” negative?

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

• Because being a horse is denied of humans
• Because it is a false proposition
• Because “horse” is a noun
• Because it links two propositions