"Entrenamiento" para la práctica 2 de Razonamiento Automático 2013