1) Call the offensive patron and have a talk with him.
2) Notify local law that this has happened.
3) Give offesive patron one more chance, then ban him from the library
Law actually can't do anything at this point, but if necessary you can keep him out of the library.