Nice analysis! I was thinking safety is a function equivalent to negation. But I agree if safety and gun ownership are separate variables.
p | safe (p) | ¬p | safe (p) ↔ ¬p
--+----------+----+--------------
T | F | F | Owning a gun is unsafely owning a gun.
F | T | T | Not owning a gun is safely owning a gun.
I think this is the original reason why it's confusing, because the sentence "not owning a gun is safely owning a gun" is highly unintuitive. There is a contradiction because safely owning it conflicts with not owning it.edit: I think we can legitimately fix the confusing sentence to read "not owning a gun is safely not owning a gun".