証言がすべて成立する正直者嘘つきの組み合わせを求めて
どの組み合わせでも嘘つきの人物が誰かを答える単純作業で答がだせる問題です。
手作業だと膨大な量になるのでツールを使えばよい。

500kgの荷物を持ち上げるにはフォークリフトを使うのと同じ。
自分で算出できない正規分布表の値を使うのと何らかわりないね。
チンパンジーでも道具くらいつかうんじゃないのかなぁ。
Fラン卒だと違うみたい。