The following theorem will be our main premise.
All men are mortal.
The next theorem is the secondary premise.
Socrates is a man.
From these we can draw our conclusion.
Socrates is mortal.