In the applet, the blue circle is the boundary of the disk.
You can drag C. Provided you keep the point within the disk,
the circumcircle ABC appears in grey.
The horocyles are shown in green.
Provided that C is inside one horocycle - but not within both
the grey circle lies inside the boundary.
You can also drag A or B to vary the figure.