As after Alice first played in the middle, there was just 1 stone, then because of 6):

7) when it's Bob turn to play, the number of stones on the board is always odd

Alice wins because of 7) and 4)!