Statistically, 6 out of 7 dwarfs aren’t happy.

Statistically, 6 out of 7 dwarfs aren't happy.
Statistically, 6 out of 7 dwarfs aren’t happy.