While I think the analysis of the comic is probably correct, both in terms of how it is intended and how it is most frequently read, I think the described relationship (horrible abuse of Venn diagrams notwithstanding) would hold without any negative implication about dynamic typing proponents: most programmers don't know much type theory - those motivated to learn will be those with a preference for static typing.