「コンウェイの天使と悪魔」と同種の問題だね
https://en.wikipedia.org/wiki/Angel_problem