Corrección del orden de las premisas para incrementar coherencia