Reducción directa de CaMeSTReS a CeLaReNT
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