Assuming that if a player takes two blocks they must be from different towers, then:
A) the smallest tower has an even number of blocks, and the other towers either all have an even number of blocks or all have an odd number of blocks,
then the player whose turn it is must lose against best play by the other side. Otherwise the player whose turn it is will win with best play. (If more than one tower is tied for smallest, arbitrarily designate one as the smallest.)
The proof is by strong induction on the total number of blocks. Designate the player whose turn it is as Player 1, and the other as Player 2. If the total number of blocks is zero, then Player 1 automatically loses, and condition A is satisfied, so the proposition is true in this case.
For the induction step, let the total number of blocks be greater than zero, and assume the proposition is true for all positions with a smaller total number of blocks. Then in particular it will be true for all positions reachable from the given position. We have three cases:
Case I: the smallest tower has an odd number of blocks. Then condition A is not satisfied. The player whose turn it is takes one block from the smallest tower, and if necessary takes one block from one of the other three towers to make them all even or all odd. The new position satisfies condition A, and by the inductive hypothesis Player 2 must lose, therefore in the original position Player 1 will win.
Case II: The smallest tower has an even number of blocks, but condition A is not satisfied. Then either two of the other three towers are even and one is odd, or two are odd and one is even. In either case, by removing a block from either one or two of the other towers, Player 1 can make them all odd or all even without making any of them smaller than the smallest tower. The new position satisfies condition A, so as in case I, Player 1 wins.
Case III: Condition A is satisfied. If Player 1 takes a block from the smallest tower, or a tower equal in size to this tower, then the smallest tower will now be odd, and condition A will no longer be satisfied. Otherwise, Player 1 must take a block from one or two of the other three towers. In the resulting position the smallest tower will still be smallest, and either two of the other three towers will be even and one odd, or two of them will be odd and one even. Thus condition A will again not be satisfied. So whatever move Player 1 makes, the resulting position will not satisfy condition A, and by the inductive hypothesis Player 2 will win. Thus Player 1 must lose.
In each of these cases, the proposition holds. Thus the inductive step is valid, and the proof is complete.