I have the following idea and I want to write them in a more formal way.

From the derived model, the algorithm can recognize that this and this edge are gutters but this and this are not. That mean that with the help of the derived model, the algorithm can recognize whether any candidate edge is a gutter or not.

I want to say this information starting with the “The fact that a…”

Here is my effort.

The fact that a given edge is a gutter can be firmly and accurately recognized from the derived models.

But I feel it does not clearly reflect my idea. Any suggestions please