GeometricScene[{{A.,B.,C.,O.,D.,E.,F.,G.},{}},{GeometricStep[{CircleThrough[{A.,B.,C.},O.],Line[{A.,O.,C.}],Line[{D.,E.}],EuclideanDistance[D.,E.]≤EuclideanDistance[A.,C.]}],GeometricStep[{F.∈Line[{A.,C.}],EuclideanDistance[A.,F.]EuclideanDistance[D.,E.]}],GeometricStep[{GeometricAssertion[{CircleThrough[{F.},A.],CircleThrough[{A.,B.,C.},O.]},{"Concurrent",G.}]}],GeometricStep[{Line[{A.,G.}]}]},{EuclideanDistance[A.,G.]EuclideanDistance[D.,E.]}]//RandomInstance