간단한 예상 찾기 : 탈레스 정리
FindGeometricConjectures를 사용하면 GeometricScene의 기하학적 관계와 등가성을 찾을 수 있습니다.
탈레스의 정리에 따르면 
, 
, 
가 원주에서 서로 다른 세 점이며, 선분 
가 직경이라고 한다면 
는 직각이 됩니다. 탈레스 정리의 가설을 GeometricScene으로 나타내 봅니다.
이 장면의 특정 인스턴스를 생성합니다.
이 장면에 대한 모든 예상을 검색합니다.
이러한 예상의 결론을 추출합니다. 이 두 가지 결론은 동일합니다.
같은 추상적 장면의 다른 인스턴스를 찾아봅니다.
이전에 발견된 것과 같은 예상은 이러한 모든 인스턴스에 대해서도 마찬가지로 적용됩니다.
