I have included both the global diagram for this game and the local diagram for this question.
The local diagram is in the bottom left corner.
The global tree diagram allows us to quickly infer that M will always be last in this game. This is due to only 2 variables having no followers, and one of these variables, N, is known to not be last.
So we can now place M last and forget about its placement in the tree (I would erase it and get it out of my mind) and we no longer have to worry about the N cannot go 7th rule.
For the local question asking what would be the most amount of variables can we place for certain if P is before J, the local diagram shows this situation.
We will know for certain that M is last, that is one. We also can see that L will be first and P will be second. After those two placements, you essentially have a floater with N and a sequence of J-O-K among slots 3-6. So these variables cannot be placed for certain. Our answer is choice B with three.