Alice can create another transaction where Bob has nothing.. She will loose slightly more, but Bob will be punished.