I would get a 10' log chain, back the tractor down off to one side of the tree, not directly in line with it, (to allow it to go to one side or the other of the stump), and pull it out.

If you had 4WD tractor with a FEL, you might be able to use the loader to lift the tree a few inches and back it up onto shore.

"Forget pounds and ounces, I'm figuring displacement!"

If we accept that: MBG(+)FGSF(=)HBG(F1)
And we surmise that: BG(>)HBG(F1) while GSF(<)HBG(F1)
Would it hold true that: HBG(F1)(+)AM500(x)q.d.(=)1.5lbGRWT?
PB answer: It depends.