Aprendendo a inferir em geometria