Reducción directa de CaMeNeS a CeLaReNT
Todo león es cuadrúpedo Ca
Ningún
cuadrúpedo es hombre Ce
Ningún cuadrúpedo es hombre Me
Todo león es cuadrúpedo
La
Ningún hombre es león NeS
Ningún león es hombre
ReNT