Reducción directa de CeSaRe a CeLaReNT
Ningún hombre es cuadrúpedo Ce
Ningún
cuadrúpedo es hombre Ce
Todo león es cuadrúpedo Sa
Todo
léon es cuadrúpedo La
Ningún león es hombre Re
Ningún
léón es hombre ReNT