Methinks there's nothing that can be done. Blocking the user is probably the best thing you can do.
There are trolls and users out there that can get on one's nerves but without solid evidence of specifically breaking the listed rules, it falls onto the choice of the user to block and/or ignore them.