[snovv_crash]

No it doesn't. Just because you tell me you don't like to get shot doesn't mean you are ok with being stabbed.

[tr352]

Yes it does. In fact, in classical logic, A->B is equivalent to !B->!A. See https://en.m.wikipedia.org/wiki/Contraposition

[spookyuser]

Exactly.

A consequence of this being true is the Raven Paradox [1], seemingly the OP has solved the classic riddle in a HN thread.

[1] https://en.wikipedia.org/wiki/Raven_paradox

[matt4077]

While it pains me to admit: They're actually right, and I was wrong above.