村人を入れる意味はない、以下解説

・村人が欲しいAは村人が無い現状でもプレイしているので、今後村人が来ても来なくてもプレイする可能性がある
・村人が無いとやらないBは既にやっていないので、今後村人が来ても気付かない
・村人が無くても良いCは今後村人が来てもプレイする可能性がある
・村人が来たらやらないDは村人が来ると引退する

・結果村人を入れると確実にDがいなくなるが、村人を入れ無くてもAがいなくなるわけでは無い(証明終了)