Reducción directa de FeSaPo a FeRio

                                                              
Ningún hombre es cuadrúpedo Fe                                                    Ningún cuadrúpedo es hombre  Fe
Todo cuadrúpedo es animal Sa                                                         Algún mamífero es cuadrúpedo  Ri
Algún animal no es hombre  Po                                                        Algún mamífero no es es hombre  o
(Inválido)

La presencia de la X 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, nos indica la existencia de algún S que no es P. Notar que tal X no se encuentra presente en FeSaPo, por lo que el silogísmo es inválido según los diagramas de Venn)