Aprendiendo Implícitamente a Razonar en Lógica de Primer Orden