Minor: No reciter is an inanimate object.
Major: Every Qur'an memorizer is a reciter.
Conclusion: No inanimate object is a memorizer.
All memorizers lie inside the class of reciters, and every reciter is excluded from inanimate objects. Consequently the two endpoint classes are disjoint.
This establishes a universal negative, not merely a particular one. Replacing the universal major with “some memorizers are reciters” would not support the same universal conclusion.
Opening interactive controls...
The Fourth Figure: Productive Conditions, Moods and Proofs
Minor: No reciter is an inanimate object.
Major: Every Qur'an memorizer is a reciter.
Conclusion: No inanimate object is a memorizer.
All memorizers lie inside the class of reciters, and every reciter is excluded from inanimate objects. Consequently the two endpoint classes are disjoint.
This establishes a universal negative, not merely a particular one. Replacing the universal major with “some memorizers are reciters” would not support the same universal conclusion.