The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.
