Reducción directa de CaMeSTReS a CeLaReNT

               camestres.gif (829 bytes)                                                      celarent.gif (819 bytes)
Todo desván es una vivienda calurosa en verano Ca                              Ninguna vivienda calurosa en verano es casa confortable Ce
Ninguna casa confortable es una vivienda calurosa en verano MeS            Todo desván es una vivienda calurosa en verano La
Ninguna casa confortable es un desván TReS                                         Ningún desván es una casa  confortable ReNT