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