Reducción directa de CaMeSTReS a CeLaReNT

    cames.gif (817 bytes)                                                                celarent.gif (819 bytes)
Todo hombre es bípedo Ca                                               Ningún bípedo es león   Ce
Ningún león es bípedo MeS                                              Todo hombre es bípedo La
Ningún león es hombre TReS                                            Ningún hombre es león ReNT