In the Nyaya syllogism, all three terms stand synthesized in which of the following steps of the inferential process?

All three terms come together in upanaya, the application.

The thesis names the subject and the probandum, and the reason names the mark.

The universal example links the mark with the probandum in general.

Upanaya applies that universal to the present subject, bringing subject, mark and probandum into one proposition.

This synthesis of the three terms is the work of the application step.