On Thursday, August 24, 2017 at 1:26:11 PM UTC-5, John MacFarlane wrote:

I'd use a definition list, myself.

I wonder if it would make sense to generalize example lists
so that you could specify the marker instead of letting
it be determined automatically?

Then you could do

(@=P1). All men are mortal.
(@=P2). Socrates is a  man.
(@=C).  Socrates is mortal.

And then refer back later to premise (@P2).