複数の方法で定理を定式化する：パップス(Pappus)の六角形定理

RandomInstanceとFindGeometricConjecturesは，複雑な幾何学定理を発見するために使える一方，シーンをどのように描画するかについての柔軟性も提供する．

パップスの六角形定理は，一つおきの頂点が同一線上にある交差六角形では，反対側の辺の3ペアの交点が同一線上にあるというものである．パップスの六角形定理の仮説をGeometricSceneとして表す．

結論を正しく予想する．

異なるが等価の仮説を使って，同じ抽象的シーンの別のインスタンスを生成する．

再び結果を正しく予想する．