ｸｲｽﾞ大陸

ロックの前に、用意しておいた解答を発表します。
おかしな点などありましたら、ご指摘下さい。
今週末にロックの予定です。

ある村から正直者2人
ある村から正直者2人
ある村から嘘つき1人
ある村から嘘つき3人
(二問目の答えは「1人」)
<説明>
同じ村の出身者達を一つのG(グループ)と呼ぶことにする。
また、一人だけのGは単数G、そうでないGは複数Gと記す。
あるGに正直者と嘘つきがいる場合、または人数の異なる正直者Gがある場合、
二問目の答えは一致しない。
よって、各Gは正直者のみまたは嘘つきのみであり、正直者Gの人数は全て同じ。

正直者単数Gがあると仮定すると、
正直者複数Gはなく、一問目に「はい」と答えたのは嘘つき単数Gのみ。
すると嘘つき単数Gだけで5Gとなってしまうので、
仮定は誤りであり、正直者単数Gは存在しないと分かる。
よって、一問目に「いいえ」と答えたのは嘘つき複数Gのみ。
全嘘つき複数Gの合計が3人ということになるが、3人を複数の複数Gに分けるのは不可能。
以上で嘘つき3人Gが存在することが分かった。他に嘘つき複数Gは存在しない。

同じ人数の嘘つきGと正直者Gがあると、二問目の答えが一致しないので、
正直者3人Gは存在しない。
残りの5人の中に3人Gが存在しないので、彼らを3Gに分ける方法は1+2+2のただ一通り。
その中には正直者単数Gも嘘つき複数Gもないので、
嘘つき単数G+正直者2人G+正直者2人Gと分かる。

結局、正直者2人G×2+嘘つき単数G+嘘つき3人G しか答えではあり得ない。
(2問目の答えは「1人」)
この組み合わせは問題の条件をすべて満たすので、これが答え。