La solución consiste en eliminar ese error, en demandar que tanto las premisas como los argumentos aducidos sean correctos.