If we were to frame the game based on those last 2 conditional rules, we get something like this:
Note that when I use circles (like our 'clouds of uncertainty'), I'm indicating to myself that the order of the ingredients within the cloud is not set. When I use rectangles, I'm indicating to myself that the order of the ingredients is fixed.
The 2nd frame is trickier, since we could potentially see M and T separated by S or P (or both). So we can make the frame in order to visualize how the ON fits in with everything, but we can't make the rest of the tree capture the limitation that M and T can't touch.
I agree, we should definitely do this game from tallest (left) to smallest (right). I think most of this thread approaches it the same way, so I'm not sure where you saw people doing it differently.
logic-challenge-3-line-dancers-t651.htmlIf it ever seems arbitrary which idea you put to the left and which you put to the right, I'd suggest looking at the Orientation question and matching your diagram to the way it looks there.
Hope this helps.