You are right, my example is wrong.
But, as you confirmed, to use all your 4x margin on a 25.000$ account is very dangerous, since below 25.000 you lose your access to margin.
So to evoid daytraders doing that I still believe they will not give you margin and shorting with the minimum 25.000$.