If you made a sequencing chain based on the rules, you will see that G must have 3 variables in front of it (when the M-P rule is triggered, which it is in this case because M is first). These variables are H, L, and M.
Here is an example of how A could be false.
M L H G P J
Do you see anything wrong with this? P and L are both before J. L and M are both before G. M is before P, so H is before G.
All conditions are satisfied, so A does not have to be true.
