Reducción directa de DaTiSi a DaRii
Todo argelino es africano Da
Todo
argelino es africano Da
Algún argelino es alto Ti
Algún
alto es africano Ri
Algún alto es africano Si
Algún alto es africano i