【グノーシア】どうして「絶対に人間だ」と言えるのか

このループではAC主義者とバグがいないため、エンジニア騙りをする者はグノーシアのみとなります。また、確定ドクターのSQがすでにグノーシア２匹を発見できているため、残りのグノーシアはエンジニア候補のラキオかオトメとなります。よって、灰の４人は全員人間となり、プレイヤーも人間確定したのです。

エンジニア候補の内訳は真エンジニア、AC、グノーシアなので、エンジニア候補にグノーシアが１人、灰の中にグノーシアが２人いることになります。まず、ジョナスが真エンジニアだと仮定すると、夕里子とコメットがグノーシアになるので、それ以外の灰は全員人間が確定します。（コメットは真ドクターのセツによってグノーシア判定が出ています）

同じように、レムナンが真エンジニアだと仮定すると、沙明とコメットがグノーシアになるので、それ以外の灰は全員人間が確定します。最後に、しげみちが真エンジニアだと仮定すると、オトメに人間判定を出しているのでオトメは人間です。エンジニア候補３人の視点からオトメは人間だと分かるので、人間確定したのです

グノーシア2人がエンジニアを騙り、AC主義者は潜伏した「2騙り」のケースを考えてみます。

真ドクターのセツが、コメットにグノーシア判定を出したため、コメットがグノーシア確定。しげみち視点、2騙りならばジョナスとレムナンがグノーシアなので、それ以外は全員人間です。（そもそもしげみちがオトメに人間判定を出している）

なお、ジョナス視点・レムナン視点はそれぞれ夕里子・沙明がグノーシアだと判明しているため、2騙りはそもそも成立しないことになります。

この編成にはACがいないので、エンジニア候補の内訳は真エンジニア、グノーシア、バグです。エンジニア候補のオトメが消滅＝オトメは真エンジニアかバグということになります。

ラキオ真と仮定すると、オトメが消滅するにはラキオ自身がオトメを占っているパターンしかないのですが、残念ながらラキオは別の人を占っているので矛盾が発生するので、ラキオは破綻したのです。

この編成はグノーシア２なので、エンジニア候補にグノーシア１、それ以外にグノーシア１がいます。ステラはグノーシア判定先のククルシカが襲撃されていたり、留守番にグノ判定を出しているので偽確定。コメット視点はエンジニア候補のステラがグノ確定＆自身の占いで沙明がグノ確定しており、それ以外の灰はすべて人間確定です。

ククルシカ視点はしげみちが人間なので、両エンジニア候補の判定からしげみちが人間確定したのです。

同時消滅したジナとしげみちから考えてみます。①ジナがバグで、エンジニア候補2人から占われて消滅したケース：プレイヤー真仮定、グノーシアはオトメ。及び、ドクター判定でどちら視点でも既に2人のグノーシアがコールドスリープできているので、役職候補以外の者は全て人間になります。（こちら視点ではコメット真確定ですが説明略）

シピが真の場合はセツにグノーシア判定を出しているSQが真ドクターとなり、セツ＆レムナンがグノ確定、残りの１人は役職候補の中にいるため、役職以外の者は全て人間です。

②ジナが真で、しげみちを占いで消滅させつつグノーシアの襲撃を同じ日に受けたケース：ステラに人間判定が出ており、全エンジニア視点でステラが人間確定するのです。

ちなみに、ジナ真の場合、バグが灰にいた＝役職５人の内訳がエンジニア、ドクター、グノーシア２、ACとなり、灰のグノは１人となります。灰のグノはレムナンで確定なので、ジナ視点でも役職以外のものは全て人間といえます。このため、実は４日目の時点で「ステラ、沙明、ククルシカ」の３名に人間判定が出されています。

上の絵の時点で、２人コールドスリープ＆２人襲撃が起きており、残り人数は１１ー４で７人です。この後、沙明コールドスリープ＆レムナン襲撃が入ると残り人数は５人なのですが、沙明が真ドクターと仮定するとまだ1人もグノーシアがコールドスリープできていないのでグノ残り３人となり、グノーシア勝利が確定するはずです。しかしループはまだ続いているため、沙明が破綻＝オトメが真ドクター確定します。

オトメの判定では灰のグノーシアは2人コールドスリープできており、残りのグノーシアは役職候補の中にいることになります。沙明がグノーシアなら人間勝利で終わっているはずなので沙明はAC確定、レムナンは襲撃を受けているので非グノーシアとなり、ラキオがグノーシアで確定するのです。

エンジニア候補３人、ドクター候補３人なので、６人の内訳は「エンジニア、ドクター、グノーシア×２、AC、バグ」となります。よって、灰（役職以外の者）にはグノーシアが1人だけとなります。

まずジョナスが破綻します。ジョナス真視点、灰のグノーシアは夕里子確定なのですが、①シピは夕里子が人間と判定しており偽②ククルシカは灰グノをジナと言っており偽③オトメは灰グノをプレイヤーと言っており偽なので、ジョナス視点の真がいない＝ジョナスは偽となります。

次にククルシカが破綻します。①ククルシカ視点、エンジニア候補で襲撃を受けているシピはACが確定する（バグは襲撃されない＋ククルシカがシピを占っているわけではない）②ククルシカはジョナスに人間判定を出している。ジョナスがバグなら消滅しているはずなので、ククルシカ視点でジョナスは真ドクターかACとなりますが、ドクターは前述の通り破綻、ACはシピのはずなのでどれも当てはまりません。判定が破綻するため、ククルシカも偽となります。

このループはACとバグがいないため、エンジニアとドクターの内訳は＜エンジニア、ドクター、グノーシア×２＞となり、灰（役職以外の人）の中にはグノーシアが２人となります。

①ドクターのオトメ視点、灰のグノはステラ・ジョナスなので、オトメ視点PLは人間確定です。 ②ドクターのコメット視点、灰のグノはまずシピが確定。→コメット＆ジナが真の組み合わせの場合、PLは人間判定が出ているので人間確定。 コメット＆ククルシカが真の組み合わせの場合、灰のグノーシアはシピ・夕里子となり、PLは人間確定。

役職がどの組み合わせでもPLは人間なので、人間確定したのです。

ラキオ真視点、襲撃を受けている対抗のジョナスはACで確定（占われていない＝バグでもない）。ラキオ視点、エンジニア候補で判定が食い違っているセツは人間判定＝バグかACで、ジョナスがACなのでセツがバグになるはず。

しかし、５日目の夜に襲撃失敗が起きています。このループでは守護天使がいないため、襲撃ミスが起きるのはバグを襲撃した時だけです。ということはバグは生存していることが判明したので、ラキオの判定が破綻してしまったのです。

ちなみに沙明の役職はグノーシアでした（やってしまわれても役職持ちが有り得るのでお気をつけて）

役職者６通りの組み合わせを試してみると、分かりやすいかもしれません。＜前提＞このループはバグなしで役職候補が５人。役職候補の内訳は＜エンジニア、ドクター、グノーシア×２、AC＞です。騙りにグノが２人出ているので、灰（役職以外の人）の中にいるグノは１人だけとなります。

①セツ＆ククルシカ＝セツ視点の灰グノーシアはラキオなので、PLは人間確定。

②セツ＆沙明＝沙明→セツにグノ判定なのでこの組み合わせは無い。

③しげみち＆ククルシカ＝コメットに対する判定が食い違うため、この組み合わせは無い。

④しげみち＆沙明＝灰グノがジナとなるため、PLは人間確定。

⑤コメット＆ククルシカ＝ククルシカがコメットにグノ判定なのでこの組み合わせは無い。

⑥コメット＆沙明＝コメットは灰グノをPL、沙明は灰グノをジナだと言っており、この二人が真だとグノーシアの数が合わなくなってしまうので、この組み合わせもない。（→⑤⑥を合わせ、コメットは偽確定）

整理すると、有り得る可能性は①のセツ＆ククルシカか、④のしげみち＆沙明のみとなり、そのどちらが真だとしてもPLは人間だといえるため、絶対に人間宣言が出たのです。

ドクターだけに注目しても解くことができます。

＜前提：グノーシアが騙りに２人出ているため、灰のグノーシアは１人だけ＞

（１）沙明視点→灰のグノーシアはジナ

（２）ククルシカ視点→コメットがグノ＆しげみちACが確定。よってセツ真なので、灰のグノーシアはラキオ

よって、ジナとラキオ以外の灰は全員人間となるため、PLに人間判定が出たのです。

夕里子、ジナ、SQ、沙明、PL

グノーシアが2人、バグ無しの編成なので、エンジニアの内訳はエンジニア、AC、グノーシア。エンジニアの中にグノが一人、それ以外（灰）の中にグノが一人となります。

セツ真なら灰のグノはジョナス。ククルシカ真なら灰のグノはラキオです。レムナン真なら灰のグノは夕里子です。よって、それ以外の灰であるジナ、SQ、沙明、PLは人間確定です。

…と言いたくなりますが、レムナンは「ククルシカに人間判定を出している」＆「セツは襲撃されている」という二点から、レムナン視点ククルシカもセツもAC…？となってしまうため、レムナンは破綻していたのです。よって、セツとククルシカ視点のグノではない夕里子も、人間が確定するのです。

ククルシカ、夕里子、SQ

この編成はACとバグがいないため、エンジニア候補にグノ１、ドクター候補にグノ１、それ以外の灰にグノ１となります。

シピ真視点ではしげみちの判定からセツ偽が確定。グノ陣営は「PL、レムナン、セツ」となります。

レムナン真視点ではドクターの真贋は不明ですが、グノ陣営は「しげみち、シピ、ジナorセツ」となります。

よって、それ以外の灰はすべて人間となるため、ククルシカ・夕里子・SQに人間判定が出たのです。

PL

まずはエンジニア＆ドクター候補の４人の中に、グノーシア１人とACが混ざっているという前提で考えます。この場合、役職以外の人（灰）の中にいるグノーシアは2人です。

ラキオ真視点…灰のグノはセツ・ジナ。しかし、SQは灰のグノとしてオトメを報告しているため、ラキオとSQが両方真だとするとグノの数が合わなくなってしまいます。よって、ラキオ真ならPL真。

ククルシカ真視点…灰グノの一人は夕里子。（PL真ならもう一人の灰グノは不明、SQ真なら灰グノはオトメ）そして重要なのが、ククルシカがラキオにグノーシア判定を出している点です。役職候補にいるグノが１人という前提なら、ラキオがグノである以上、ドクターに混ざっている偽者はACとなります。ACはグノ陣営ではありますが、人間です。よって、ククルシカ視点、PLはドクターかACとなり、両エンジニア視点でPLは人間となります。

なお、エンジニア＆ドクター候補の４人の中にグノーシアが２人いて、灰のグノが一人、ACが潜伏しているケース（いわゆる２騙り潜伏狂）についても考えることができます。ククルシカ真視点で２騙り潜伏狂を追う場合、灰のグノは夕里子、エンジニアのグノはラキオで確定。ドクターを騙っているグノについてですが、ぱっと見るとSQに人間判定を出しているPLがグノの可能性があり、２騙り潜狂が切れないのでは…となりますが、よく見るとSQが灰のオトメにグノ判定を出しており、灰グノ１の想定と食い違ってしまうため、２騙り潜狂は切ることができます。

ステラ、しげみち、沙明が人間確定です。

ラキオ真ならPLが真で確定。「セツ・ジナ・ククルシカ」がグノーシア。

ククルシカ真ならSQが真で確定（PLがククルシカにグノ判定を出したため）。「ラキオ・夕里子・オトメ」がグノーシア。　

両視点でグノーシア陣営が確定したため、それ以外の灰は全員人間確定したのです。