簡単な予想を求める：タレス(Thales)の定理
FindGeometricConjecturesを使うと，GeometricSceneの幾何学的関係および等価性を見付けることができる．
タレスの定理によると，
，
，
が円周上の異なる3点であり，線分 
が直径であるとすると，
は直角となる．タレスの定理の仮説をGeometricSceneとして表す．
このシーンの特定のインスタンスを生成する．
このシーンについての予想すべてを検索する．
これらの予想の結論を抽出する．これら2つの結論は同じである．
同じ抽象的シーンの異なるインスタンスを見付ける．
前に見付かったのと同じ予想は，これらすべてのインスタンスについても真である．
