How do “if human, then not a horse” and “not: if human, then horse” differ?

The first asserts a conditional with negative consequent; the second denies the claimed link
Both are mere names
They are exactly identical propositions
Both are genuine disjunctions