Humor (is) the process that allows one to brush reality aside when it gets too distressing.
or simply: