GeometricScene[{{A.,O.,B.,C.,D.,E.,F.,G.,H.},{}},{GeometricStep[{CircleThrough[{A.},O.],Triangle[{D.,E.,F.}]}],GeometricStep[{GeometricAssertion[{Line[{G.,A.,H.}],CircleThrough[{A.},O.]},"Tangent"]}],GeometricStep[{C.∈CircleThrough[{A.},O.],Line[{A.,C.}],PlanarAngle[{C.,A.,H.}]PlanarAngle[{D.,E.,F.}]}],GeometricStep[{B.∈CircleThrough[{A.},O.],Line[{A.,B.}],PlanarAngle[{B.,A.,G.}]PlanarAngle[{D.,F.,E.}]}],GeometricStep[{Line[{B.,C.}]}]},{GeometricAssertion[{Triangle[{A.,B.,C.}],Triangle[{D.,E.,F.}]},"Similar"]}]//RandomInstance