Ningún ateo tiene remordimientos

Todo ateo es reflexivo

Algunos reflexivos no tienen remordimientos
(Inválido)

Algunos reflexivos no tienen remordimientos
(La presencia de la X en la región de los A que no son ni B ni C, es decir, en la región de los S que no son ni P ni M, se nos indica -algo que no sucede en la conclusión inválida- que existe algún S que no es P.)
Notar que esa misma X podría situarse en la región de los A que son C pero no B, es decir, en la región de los  S que son M pero no P)