Double Play or Not?

[SanDiegoSteve]

The way I read the OP looks like F6 very carelessly knocked R2 off the base in a rather violent collision. Why would you reward such carelessness by calling the runner out for getting blindsided by an inattentive fielder?

7.01 A runner acquires the right to an unoccupied base when he touches it before he is out. He is then entitled to it until he is put out, or forced to vacate it for another runner legally entitled to that base.

It says he has the right to stand on his base and not get shoved off, and is entitled to it until forced off by another runner who is entitled to it. It doesn't say until some oafish player pushes him off.