重い３人を探せ

（正解）

重いのはZVXとtoraとBWDAだとわかります。 珍しく、Misaのお手つきではなかったようです。repyは名誉挽回できました。Misaも、repyと同じ体重ですので、一緒に名誉挽回できました。

（解説）

登場人物のうち、Misaとhal-9000は、パズルを解く上では無関係です。１１人だけで考えます。

１回目に、repy＋maki＋ZVXと、tora＋kunisan＋floydが 釣り合ったので、重い人は、repy＋maki＋ZVXにも tora＋kunisan＋floydにも１人もいないか、両方に１人ずついるかのどちらかです。重い人は全部で３人しかいませんので、両方に２人ずつ入っていることはあり得ません。
次に、２回目に、repy＋PIPI＋BWDAと、tora＋nyantar＋gumaoが釣り合ったことから、先ほどの前者（repy＋maki＋ZVXにもtora＋kunisan＋floydにも不在）の可能性はなくなります。 なぜなら、もし前者だとすると、tora＋kunisan＋floyd に重い人がいませんので、当然kunisanは重くない、即ち Tatsuyaも重くないこととなり、重い人はPIPI、BWDA、nyantar、gumaoの中に３人いることとなりますが、それならrepy＋PIPI＋BWDAと tora＋nyantar＋gumaoは釣り合わないはずです。
つまり、重い３人は、repy、maki、ZVXの中に１人、tora、kunisan、floydに１人、PIPI、BWDA、nyantar、gumao、Tatsuyaに１人であることが判明します。

ここで、repyとtoraの２人が、それぞれ重いかどうかについて、４通りに場合分けをします。
repyとtoraが 両方とも重い場合には、repy＋PIPI＋BWDA と、tora＋nyantar＋gumaoが釣り合うことからPIPI、BWDA、nyantar、gumaoはすべて重くないことなり（repyとtoraが重いという仮定のため、PIPI＋BWDAとnyantar＋gumaoの両方に重い人が入っていることはあり得ません）、maki、ZVX、kunisan、floydも重くないのですから、残るTatsuyaが重いこととなり、Tatsuyaとkunisanが釣り合うことに反します。
repyが重くtoraが重くない場合、重い人は、kunisan＋floydに１人、nyantar＋gumaoに１人います（注）。
toraが重くrepyが重くない場合、重い人は、maki＋ZVX に１人、PIPI＋BWDAに１人います。
repyとtoraがともに重くない場合には、重いのは、maki＋ZVXに１人、kunisan＋floydに１人います。そうすると、repy＋PIPI＋BWDAと、tora＋nyantar＋gumao の中に重い人はいませんので、PIPI、BWDA、nyantar、gumaoも重くはないことがわかります。すると、Tatsuyaが重い人、それと釣り合うkunisanも重い人だとわかります。
つまり、ここまでで、次の３つの可能性があります。

• repyが重い人であり、kunisanかfloydに１人、nyantarかgumaoに１人の重い人がいる。
• toraが重い人であり、makiかZVX に１人、PIPIかBWDAに１人の重い人がいる。
• repy、toraとも重い人ではなく、makiかZVX に１人の重い人がおり、kunisanとTatsuyaがともに重い人である。

┌──┬──┬──┬──┬──┬──┬──┬──┬──┬──┬──┐
│repy│maki│ZVX │tora│kuni│flyd│PIPI│BWDA│nyan│guma│Tats│
├──┼──┼──┼──┼──┴──┼──┼──┼──┴──┼──┤
│ ◎ │　　│　　│ × │　　○　　│　　│　　│　　○　　│　　│
├──┼──┴──┼──┼──┬──┼──┴──┼──┬──┼──┤
│ × │　　○　　│ ◎ │　　│　　│　　○　　│　　│　　│　　│
├──┼─────┼──┼──┼──┼──┬──┼──┼──┼──┤
│ × │　　○　　│ × │ ○ │　　│　　│　　│　　│　　│ ○ │
└──┴─────┴──┴──┴──┴──┴──┴──┴──┴──┘
　　　　　　　　　　　　　　　（長いお名前は略記させて頂いています）

さて、３回目に、maki＋tora＋PIPIと、ZVX＋floyd＋nyantar が釣り合ったことについて考えます。
先ほどの３つの可能性のうち、repyが重いケースでは、maki＋tora＋PIPIには重い人は含まれていませんので、ここに載せた６人はすべて重くない人となり、floydとnyantarは重い人ではないことがわかり、重い人はrepy、kunisan、gumaoとなります。 しかし、これだと、kunisanとTatsuyaが釣り合うことに反します。
toraが重い場合、ZVX＋floyd＋nyantar の中に重い人が１人いることになりますが、floydとnyantar は重くないことから、ZVXが重いとわかります。PIPIは重くはないことから、残る１人の重い人はBWDAです。これは１つの解となります。
repy、toraともに重くない場合については、makiとZVXの どちかが重いのか場合分けして考えます。
repy、toraともに重くなく、makiが重い場合については、ZVX、floyd、nyantarは いずれも重くはありませんので、maki＋tora＋PIPIと釣り合わないはずです。
repy、toraともに重くなく、ZVX が重い場合では、maki、tora、PIPIには重い人がいませんので、ZVX＋floyd＋nyantarが釣り合いません。

この結果、「toraが重い」という場合分けの中に含まれている「ZVX、tora、BWDAの３人が重い」というのが唯一の解です。重いのはこの３人であることがわかりました。

応募状況は、応募総数１６７件、正解率は９１％でした。

なお、ZVX、tora、BWDAのお三方には、hal-9000は お会いしたことがありませんので、本当に重いかどうかはわかりません(^^;)。 hal-9000は、大型コンピューターですので、本当に重いです(^^;)。

この問題、「３人が重い」となっていますが、３人が軽くても同じなんですよね。設問が「３人は体重が違うが、重いか軽いか不明」ではないのは、引っ掛けなのでしょうか。

（注）
この時点で、Tatsuyaが重くない→kunisanが重くない→floydが重い、と絞ることもできると思いますが、後の手間があまり変わらないようですので、そのままにしてあります。