There are 7 prisoners. A warden gives each of them a hat in one of 7 known
colors (potentially with duplicated colors). After observing each others'
hat colors, all the prisoners simultaneously guess their own hat color.
The warden lets them all go free if at least one guesses correctly.
Is it possible for the prisoners to choose a strategy such that they will
go free, regardless of which hats are chosen?