用forward reasoning造句子，“forward reasoning”造句

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.