The red points are midpoints of sides and diagonals of a cyclic quadrilateral. Prove the green point is the orthocenter of the blue triangle.