Bot para la última práctica de Razonamiento Automático