[Mobascheri]

Please excuse me, but I still need some clarification:
No out
B2 fails to bat
B3 is the first out at 1st base
B2 is the second out on the appeal

Next batter is B4 because of:
Rule 7-2-C-2-C Exception
If the incorrect batter (B3) was out as a result at their time at bat, and is scheduled to be the next proper batter, skip that player and the next person in the line-up (B4) will be the batter.

That's just fine so far.
Now:
One out
B2 fails to bat
B3 is the second out at first base
B2 is the third out on the appeal

What you say is that the next batter again is B4???

That means, that for you the term "the batter" in Rule 7-2-C-2-D "If the batter declared out under..." is the incorrect batter, not the correct one who failed to bat, right?
Why should that be the case?

If that'd be the case, 7-2-C-2-D would repeat exactly the same as 7-2-C-2-C, just mentioning that it is valid for the third out as well and there is no reason at all for this repetition.

In addition 7-2-C-2-D actually mentions that "the batter" in "If the batter declared out under..." had NOT been put out by ordinary play:
"... who would have come to bat, HAD THE PLAYER BEEN PUT OUT BY ORDINARY PLAY"

This again implies, that he rather was out on the appeal, saying that we are talking about the correct batter who failed to bat which means that in any case the next batter is the one following him, regardless whether he was put out on base or not.

What do you think about that?