What is primarily denied in “It is not the case that if Zayd is human, he is a horse”?

Conditional Propositions: Connectives, Disjunctions and Their Main Kinds

• Zayd’s existence
• The proposed conditional link from humanity to horsehood
• Animality of all humans
• Only the meaning of “horse”