Reducción de DiSaMiS a DaRii

                                                              
Algún hombre es negro Di                                               Todo hombre es mortal  Da
Todo hombre es mortal Sa                                              Algún negro es hombre   Ri
Algún mortal es negro   MiS                                            Algún negro es mortal      i