Todos los animales de mi casa son gatos

Todos los gatos matan ratones

Algunos que matan ratones son animales de mi casa
(Inválido)

Algunos que matan ratones son animales de mi casa
(La presencia de la X en la región de los A-B-C,  es decir, en la región de los S-P-M, nos muestra la existencia -algo que falta en la conclusión inválida- de algún S que es P)