GeometricScene[{{A.,B.,C.,D.,E.,F.,H.,I.},{}},{{Line[{A.,B.}],GeometricAssertion[{Polygon[{C.,D.,E.,F.}]},"Convex"]},{Line[{C.,E.}]},{Triangle[{A.,B.,H.}],PlanarAngle[{A.,B.,H.}]PlanarAngle[{C.,D.,E.}],PlanarAngle[{B.,A.,H.}]PlanarAngle[{D.,C.,E.}]},{Triangle[{H.,A.,I.}],GeometricAssertion[{B.,I.},{"OppositeSides",Line[{A.,H.}]}],PlanarAngle[{A.,H.,I.}]PlanarAngle[{C.,E.,F.}],PlanarAngle[{A.,I.,H.}]PlanarAngle[{C.,F.,E.}]}},{GeometricAssertion[{Polygon[{A.,B.,H.,I.}],Polygon[{C.,D.,E.,F.}]},"Similar"]}]
