Text this: Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos