Reducción de DiMaRiS a DaRii

        dimaris.gif (816 bytes)                                                     darii.gif (809 bytes)
Algún negro es americano Di                                       Todo americano es mortal Da
Todo americano es mortal Ma                                     Algún negro es americano Ri
Algún mortal es negro RiS                                           Algún negro es mortal         i