Reducción indirecta de BaRoCo a BaRBaRa

          baroco.gif (828 bytes)                                                     barbara.gif (826 bytes)
Todo ciudadano es residente Ba                                                         Todo ciudadano es residente BaR
Algún marginado no es residente Ro                                                 Todo marginado es ciudano     Ba
Algún marginado no es ciudadano Co                                               Todo marginado es residente    Ra