The incongruity-resolution model is one of the most popular theories that suggest an elucidation for the strategies underlying humorous texts. This article presents a taxonomy of incongruity-resolution Cases, according to a relevance-theoretic stance. Then, the degree to which these Cases are profound enough to comprise the whole set of potential incongruity-resolution patterns is verified with a corpus of jokes. Moreover, an assay is performed regarding the implications of matching certain kinds of jokes with specific Cases of the taxonomy. Some conclusions on their pragmatic quality and their overall humorous impact are also drawn.