Caso práctico: probamos por qué un algoritmo judicial justo es imposible