I'd hate to make more of a process for parsing a one sentence joke but ... how else do you do it?
So you throw it to a committee who comes back with "We told the user their statement could be seen as sexist and not to make that joke anymore."
There you go. Done. Issue is no longer relevant, time to move on with life. If it comes up again with the same user, then you can worry about bigger things.
I'm sure there would be some bickering after that but at some point you can't have the argument going on forever on every rando social media site and ... version control site...