Hi Doreen,
That's a great question. It's really important to know why incorrect answer choices are incorrect.
This question adds an additional condition (lentils last) and asks which must be true - that means that 4 of the answer choices need not be true. Before we jump into the answer choices, let's think about the ramifications of putting L last (by the way, you can see a diagram in Noah's posting in this thread:
pt40-s2-g1-charlie-makes-a-soup-by-adding-exactly-six-t265.html).
If L goes last, we also know that Z does not go first (contrapositive of the conditional constraint about Z going first). An important non-inference is realizing that M doesn't have to go 3rd just because L goes last (looking at the first constraint) - if you didn't fall for this, great! If you did, make a mental note to pay more attention to trigger v. non-trigger parts of conditional statements.
So we still don't know too much as far as inferences go, but let's take a look at the answer choices you asked about specifically - (D) and (E), thinking about whether we can falsify them. If we can, they don't have to be true, and they are not our answer.
(D) is falsifiable; consider TZOMKL
(E) is also falsifiable; the above example TZOMKL shows this. (note that this shows the value of reusing potential combinations to disprove multiple answer choices).
You also said you were stuck between (A) and (B) so let's take a look at those.
(A) is another way of saying that Z can't be first - one of the few things we inferred at the start. This absolutely does have to be true - perfect!
(B) is falsifiable; consider KOMTZL.
I hope this helps. Please let me know if you have more questions about this one!