No no, the imperative "get six" overrides the previous "buy a gallon of milk" if the "they have eggs" condition is met.

"get six" implies x === 6 not x = x + 6, that would be "get six more"

The real problem is that "buy" was only specified in the first case. Because the conditional was met, he should get six gallons of milk but not buy them.