Thank you for your help and patience.
And wow, that is a really good example that you just gave. Exactly what I was after
“PEQ
QIR
therefore POR”
It fails to satisfy rule six not because the P is undistributed in the conclusion and distributed in the major premise but because the R term is distributed in the conclusion and undistributed in the minor premise. Have I understood once and for all?
