What does a horse show about “not human or animal”?

Conditional Propositions: Connectives, Disjunctions and Their Main Kinds

• Both components are false
• The first is false
• The second is false
• Both components may be true