What is the number of members (propositions) in the Nyaya syllogism used for inference?

The Nyaya syllogism for inference has five members.

These are the pratijna, the hetu, the udaharana, the upanaya, and the nigamana.

The proposition states the claim, and the reason gives its ground.

The example supplies the universal rule with an instance.

The application brings the case under the rule, and the conclusion restates the claim.

These five together make the complete inference for others.