Find Simple Conjectures: Thales's Theorem
Thales's theorem states that if , and are distinct points on a circle where the line is a diameter, then the angle is a right angle. Represent the hypotheses of Thales's theorem as a GeometricScene.
Generate a particular instance of the scene.
Search for all conjectures about this scene.
Extract the conclusions of these conjectures. These two conclusions are equivalent.
Find different instances of the same abstract scene.
The same conjectures found previously also hold true for all of these instances.