the coins were only mixed with each other, not with others in any effective manner
The point of using a mixer is to break the on-chain connection between your old coins and your new coins. It's can't break the on-chain connection to the origin of the actual coins.
it's still not possible to prove that the user was the one who stole them.
That's because he didn't steal them.