옛날 옛날에 백설공주와 일곱 난쟁이가 숲속 집에 살고 있었다. 16일동안 매일 난쟁이들은 다이아몬드 광산에서 일을 하거나 산딸기를 따러 숲으로 갔다. 단, 어느 난쟁이도 두 가지 종류의 일을 하루에 하지 않았다고 한다. 임의로 연속하지 않을 수도 있는 두 날짜를 비교해보니 적어도 3명 이상의 난쟁이가 같은 일을 했다고 한다. 게다가 첫날에는 모든 난쟁이가 다이아몬드 광산에서 일을 했다고 한다.
이때 16일 중 어떤 날은 모든 일곱 난쟁이가 산딸기를 따러 갔음을 증명하라.
(2013년 4월 11일 룩셈부르크, 4시간 30분, 출처)