絶対に敵だor人間だ がわからない

エンジニアやドクターが1日目に1人しか名乗り出る事（カミングアウト 以下CO）をしなかった場合とかはわかるけど・・・
という方向けの記事になります。

多くのケースではエンジニアやドクターの報告、グノーシアとAC主義者、バグなどの数、役職COした人数などから判断します。
ほとんどの場合、エンジニアが1日目にCOしていないと使えない事が多いです。（本物のエンジニアがCOした中に絶対にいる事が重要）

また、前提条件としてルール上、グノーシアは毎日必ず襲撃しなければならずグノーシアを襲撃対象にはできません。

以下に例を挙げながら説明していきます。
表記上、翌日の議論前に消滅した人については消滅する前の日の欄に記載しています。
絶対に敵だor人間だは生存者を指名します。※条件に該当していても、既に襲撃されてる人やコールドスリープしている人は対象になりません。
また、役職COした人の名前には下線と、頭にエンジニアならE、ドクターならDを付けています。
※設問はすべて管理人が独自に考えたものです

• ケース1
• ケース2
• ケース3
• ケース4
• ケース5
• ケース6
• ケース7
• ケース8
• ケース9
• ケース10
• ケース11

• ケース1　人数7人　グノーシア2体、エンジニア、ドクター、守護天使、AC主義者という配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ジョナス　シピ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"}]}

エンジニア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"}]}

エンジニア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"}]}

エンジニア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#080"},{"header":"2","color":"#800"}]}

ドクター

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"}]}

消滅

---

1日目　エンジニアCO：^Eしげみち、^Eラキオ、^Eジナ　ドクターCO：^Dセツ
　^Dセツは絶対に人間だと指摘された
　コールドスリープ：SQ　消滅：ジョナス

---

　生存：^Dセツ　^Eジナ　^Eラキオ　^Eしげみち　シピ

---

2日目　エンジニア報告：^Eしげみち→シピはグノーシア、^Eラキオ→^Eしげみちはグノーシア、^Eジナ→シピは人間
　ドクター報告：^Dセツ→SQはグノーシアだった

---

絶対に人間だ

シピは絶対に人間だと指摘した

絶対に敵だ

しげみちは絶対に敵だと指摘した

---

説明を表示

セツは本物のドクターであり、ドクター報告によりSQはグノーシア確定。
グノーシア2体のうちSQがコールドスリープした為、生存しているグノーシアは残り1体です。
エンジニア候補は3人いるため、内訳は本物、AC主義者、グノーシアという組み合わせしかありえません。（バグが不在の為）
つまり、エンジニア候補のうち誰か1人が残っているグノーシアです。
よってエンジニア候補ではないシピは人間確定、シピをグノーシアと報告しているしげみちは偽物です。

---

• ケース2　人数8人　グノーシア2体、エンジニア、ドクター、守護天使、留守番という配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　ククルシカ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"}]}

エンジニア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#000"}]}

エンジニア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#080"},{"header":"2","color":"#000"},{"header":"3","color":"#000"}]}

ドクター

{"target":"next","color":{},"col_color":[{"header":"1","color":"#040"},{"header":"2","color":"#040"},{"header":"3","color":"#040"}]}

留守番

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"},{"header":"3","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"},{"header":"3","color":"#200"}]}

消滅

---

1日目　エンジニアCO：^ESQ、^Eラキオ　ドクターCO：^Dしげみち　留守番：ジョナス、ククルシカ
　^Dしげみちは絶対に人間だと指摘された
　コールドスリープ：ジナ　消滅：^Dしげみち

---

　生存：セツ　^ESQ　^Eラキオ　ステラ　ジョナス　ククルシカ

---

2日目　エンジニア報告：^ESQ→セツは人間、^Eラキオ→ステラは人間
　コールドスリープ：ラキオ　消滅：ステラ

---

　生存：セツ　^ESQ　ジョナス　ククルシカ

---

3日目　エンジニア報告：^ESQ→ステラは人間

---

絶対に人間だ

セツは絶対に人間だと指摘した

絶対に敵だ

SQは絶対に敵だと指摘した

---

説明を表示

SQが本物のエンジニアだと仮定した場合、3日目にグノーシアが一人もいない状態になります。
よってSQは偽エンジニアであり、AC主義者やバグがいないのでグノーシア確定です。
さらに3日目は4人しかいない為、グノーシアが2体生存していることはあり得ません。
つまりSQがグノーシアである以上、他3人（ジョナス、ククルシカ、セツ）は人間です。
ジョナスとククルシカは留守番で元々人間だとわかっていますが、さらにセツが人間だと確定します。

---

• ケース3　人数9人　グノーシア2体、エンジニア、ドクター、守護天使、AC主義者、留守番という配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　コメット　シピ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"}]}

エンジニア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"}]}

エンジニア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"}]}

ドクター

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#080"}]}

ドクター

グノーシア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#040"},{"header":"2","color":"#040"},{"header":"3","color":"#040"}]}

留守番

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"},{"header":"3","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"},{"header":"3","color":"#200"}]}

消滅

---

1日目　エンジニアCO：^Eジョナス、^Eシピ　ドクターCO：^Dステラ、^Dコメット　留守番：セツ、SQ
　コールドスリープ：ラキオ　消滅：SQ

---

　生存：セツ　ジナ　しげみち　^Dステラ　^Eジョナス　^Dコメット　^Eシピ

---

2日目　エンジニア報告：^Eジョナス→ジナは人間、^Eシピ→しげみちは人間
　ドクター報告：^Dステラ→ラキオは人間だった、^Dコメット→ラキオはグノーシアだった
　コールドスリープ：ジナ　消滅：なし

---

　生存：セツ　しげみち　^Dステラ　^Eジョナス　^Dコメット　^Eシピ

---

3日目　エンジニア報告：^Eジョナス→ステラは人間、^Eシピ→^Dコメットは人間
　ドクター報告：^Dステラ→ジナは人間だった、^Dコメット→ジナは人間だった

---

絶対に人間だ

しげみちは絶対に人間だと指摘した

絶対に敵だ

該当者なし

---

説明を表示

犠牲者なしで3日目を迎えていることから、守護天使が生存していることが確定します。（バグは不在の為）
エンジニア候補、ドクター候補、留守番は守護天使ではあり得ない為、生存者で守護天使の可能性があるのは しげみち だけです。
つまり、しげみちが人間（守護天使）であることが確定します。

---

• ケース4　人数10人　グノーシア3体、エンジニア、ドクター、守護天使という配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　ククルシカ　コメット　シピ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"}]}

エンジニア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"}]}

エンジニア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#080"},{"header":"2","color":"#800"}]}

ドクター

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"}]}

消滅

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#444"},{"header":"3","color":"#444"},{"header":"4","color":"#444"}]}

情報なし

---

1日目　エンジニアCO：^Eセツ、^Eジナ　ドクターCO：^Dジョナス
　^Dジョナスは絶対に人間だと指摘された
　コールドスリープ：しげみち　消滅：コメット

---

　生存：^Eセツ　^Eジナ　SQ　ラキオ　ステラ　^Dジョナス　ククルシカ　シピ

---

2日目　エンジニア報告：^Eセツ→SQは人間、^Eジナ→ラキオはグノーシア
　ドクター報告：^Dジョナス→しげみちはグノーシアだった

---

絶対に人間だ

SQは絶対に人間だと指摘した

絶対に敵だ

該当者なし

---

説明を表示

ジョナスは本物のドクターですから、ドクター報告からしげみちはグノーシア確定。
ジナが本物の場合は、AC主義者とバグは不在であることから偽エンジニアはグノーシアなので、セツがグノーシア確定。
さらに調査結果からラキオもグノーシア確定。
グノーシアは全部で3体なので、しげみち、セツ、ラキオ以外は人間です。

セツが本物の場合は、調査によりSQは人間確定です。

よってセツ、ジナどちらが本物でもSQは人間です。

---

• ケース5　人数10人　グノーシア3体、エンジニア、ドクター、守護天使、留守番、バグという配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　ククルシカ　コメット　オトメ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#000"}]}

エンジニア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#800"}]}

エンジニア

人間

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#800"}]}

エンジニア

グノーシア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#080"},{"header":"4","color":"#080"}]}

ドクター

グノーシア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#800"},{"header":"4","color":"#080"}]}

ドクター

人間

グノーシア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#040"},{"header":"2","color":"#040"},{"header":"3","color":"#040"}]}

留守番

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"},{"header":"3","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"},{"header":"3","color":"#200"}]}

消滅

---

1日目　エンジニアCO：^Eステラ、^Eククルシカ、^Eオトメ　ドクターCO：^Dジナ、^Dジョナス　留守番：SQ　コメット
　コールドスリープ：しげみち　消滅：ラキオ

---

　生存：セツ　^Dジナ　SQ　^Eステラ　^Dジョナス　^Eククルシカ　コメット　^Eオトメ

---

2日目　エンジニア報告：^Eステラ→ラキオは人間、^Eククルシカ→^Dジナは人間、^Eオトメ→^Eククルシカはグノーシア
　ドクター報告：^Dジナ→しげみちはグノーシアだった、^Dジョナス→しげみちは人間だった
　コールドスリープ：セツ、ステラ　消滅：なし

---

　生存：^Dジナ　SQ　^Dジョナス　^Eククルシカ　コメット　^Eオトメ

---

3日目　エンジニア報告：^Eククルシカ→^Eオトメはグノーシア、^Eオトメ→^Dジナはグノーシア
　ドクター報告：^Dジナ→セツは人間、ステラは人間だった　^Dジョナス→セツはグノーシア、ステラは人間だった

---

絶対に人間だ

該当者なし

絶対に敵だ

ククルシカは絶対に敵だと指摘した
オトメは絶対に敵だと指摘した

---

説明を表示

3日目を犠牲者なしで迎えていることから、守護天使による護衛かバグを襲撃したことがわかります。
但し、生存者の中に守護天使候補がいない（エンジニア候補、ドクター候補、留守番しかいない）為、バグの生存が確定します。
AC主義者は不在の為、エンジニア3人の内訳であり得るものは以下の通り。

• グノーシア、バグ、本物のエンジニア
• グノーシア2体、本物のエンジニア

ステラはドクター2人の報告によって人間であり、AC主義者が不在でバグが生存していることから本物のエンジニアであることが確定します。
よって、残りのエンジニア候補であるククルシカとオトメは偽物です。

---

• ケース6　人数12人　グノーシア3体、エンジニア、ドクター、守護天使、AC主義者という配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　コメット　シピ　オトメ　沙明　夕里子

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#000"}]}

エンジニア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"}]}

エンジニア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"}]}

エンジニア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"}]}

ドクター

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"}]}

ドクター

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"}]}

消滅

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#444"},{"header":"3","color":"#444"},{"header":"4","color":"#444"},{"header":"5","color":"#444"},{"header":"6","color":"#444"}]}

情報なし

---

1日目　エンジニアCO：^Eラキオ、^Eコメット、^E夕里子　ドクターCO：^Dシピ、^D沙明
　コールドスリープ：^Eラキオ　消滅：セツ

---

　生存：ジナ　SQ　しげみち　ステラ　ジョナス　^Eコメット　^Dシピ　オトメ　^D沙明　^E夕里子

---

2日目　エンジニア報告：^Eコメット→^E夕里子は人間、^E夕里子→ジョナスはグノーシア
　ドクター報告：^Dシピ→^Eラキオは人間だった、^D沙明→^Eラキオは人間だった

---

絶対に人間だ

該当者なし

絶対に敵だ

コメットは絶対に敵だと指摘した

---

説明を表示

ドクターは2人ともラキオを人間と報告しているので、ラキオはAC主義者か本物のエンジニアです。（バグは不在の為）
この場合、コメットと夕里子の内訳でありえるものは以下の通り。

• グノーシアと本物のエンジニア
• グノーシアとAC主義者
• 2人ともグノーシア

つまり、コメットが本物ならば夕里子はグノーシアでしかあり得ないので、人間と報告しているコメットは偽物です。

---

• ケース7　人数14人　グノーシア3体、エンジニア、ドクター、AC主義者、バグという配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　ククルシカ　コメット　シピ　オトメ　沙明　レムナン　夕里子

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"}]}

エンジニア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#000"}]}

エンジニア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#800"}]}

エンジニア

グノーシア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#800"}]}

ドクター

人間

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"},{"header":"3","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"},{"header":"3","color":"#200"}]}

消滅

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#444"},{"header":"3","color":"#444"},{"header":"4","color":"#444"},{"header":"5","color":"#444"},{"header":"6","color":"#444"}]}

情報なし

---

1日目　エンジニアCO：なし　ドクターCO：なし
　コールドスリープ：ジョナス　消滅：なし

---

　生存：セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ククルシカ　コメット　シピ　オトメ　沙明　レムナン　夕里子

---

2日目　エンジニアCO：^Eレムナン→セツは人間、^Eオトメ→セツは人間、^Eククルシカ→ジナはグノーシア
　ドクターCO：^Dステラ→ジョナスは人間だった
　コールドスリープ：シピ　消滅：^Eオトメ、夕里子

---

　生存：セツ　ジナ　SQ　ラキオ　しげみち　^Dステラ　^Eククルシカ　コメット　沙明　^Eレムナン

---

3日目　エンジニア報告：^Eレムナン→^Eオトメは人間、^Eククルシカ→セツはグノーシア
　ドクター報告：^Dステラ→シピはグノーシアだった

---

絶対に人間だ

セツは絶対に人間だと指摘した

絶対に敵だ

ククルシカは絶対に敵だと指摘した

---

説明を表示

2人同時に消滅したケースでは、片方がバグ、片方は人間、さらにその日は本物のエンジニアがバグを調査したことまで確定です。
ここで本物のエンジニアである可能性は2通り

• レムナンが本物でオトメがバグ、夕里子はグノーシアに襲われた
• オトメが本物で夕里子がバグ、オトメはグノーシアに襲われた

よって、ククルシカは偽物であることが確定します。
セツはレムナン、オトメの両方が人間と報告しているので、人間であることが確定します。
なお、ジョナスがコールドスリープしてからCOしているのでステラの真偽は不明です。

---

• ケース8　人数14人　グノーシア4体、エンジニア、ドクター、守護天使、AC主義者、留守番という配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　ククルシカ　コメット　シピ　オトメ　沙明　レムナン　夕里子

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"}]}

エンジニア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#800"}]}

エンジニア

人間

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#800"}]}

エンジニア

グノーシア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#800"}]}

ドクター

人間

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#080"}]}

ドクター

グノーシア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#040"},{"header":"2","color":"#040"},{"header":"3","color":"#040"}]}

留守番

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"},{"header":"3","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"},{"header":"3","color":"#200"}]}

消滅

---

1日目　エンジニアCO：^ESQ、^Eラキオ、^Eジナ　ドクターCO：^Dしげみち、^Dステラ
　留守番：夕里子、レムナン
　コールドスリープ：コメット　消滅：レムナン

---

　生存：セツ　^Eジナ　^ESQ　^Eラキオ　^Dしげみち　^Dステラ　ジョナス　ククルシカ　シピ　オトメ　沙明　夕里子

---

2日目　エンジニア報告：^ESQ→沙明は人間、^Eラキオ→シピは人間、^Eジナ→ジョナスはグノーシア
　ドクター報告：^Dしげみち→コメットは人間だった、^Dステラ→コメットはグノーシアだった
　コールドスリープ：シピ　消滅：セツ

---

　生存：^Eジナ　^ESQ　^Eラキオ　^Dしげみち　^Dステラ　ジョナス　ククルシカ　オトメ　沙明　夕里子

---

3日目　エンジニア報告：^ESQ→オトメは人間、^Eラキオ→オトメはグノーシア、^Eジナ→ククルシカはグノーシア
　ドクター報告：^Dしげみち→シピはグノーシアだった、^Dステラ→シピは人間だった

---

絶対に人間だ

沙明は絶対に人間だと指摘した

絶対に敵だ

ジナは絶対に敵だと指摘した

---

説明を表示

まず、ドクターの報告によりコメットかシピのどちらかはグノーシアでどちらかは人間です。
そして、エンジニア3人のうち必ず1人以上はグノーシアであり、エンジニアとドクターの計5人のうち、2人以上はグノーシアです。
（あり得る組合わせは、エンジニア、ドクター、AC主義者、グノーシア2体、または、エンジニア、ドクター、グノーシア3体になる為）

SQが本物の場合、
調査により、沙明とオトメは人間
ラキオ、ジナ、しげみち、ステラのうち最低2人はグノーシア
コールドスリープしたコメット、シピのどちらか1人がグノーシア
確定でグノーシアと言える人はまだわかりません。

ラキオが本物の場合、
調査により、シピが人間、オトメがグノーシア
SQ、ジナ、しげみち、ステラのうち最低2人はグノーシア
シピをグノーシアと報告したしげみちが偽ドクターとなり、本物であるステラの報告からコメットがグノーシア
以上でグノーシア4体となるため、オトメとエンジニア、ドクター以外（ジョナス、ククルシカ、沙明）は人間となります。

ジナが本物の場合、
調査により、ジョナスとククルシカがグノーシア
SQ、ラキオ、しげみち、ステラのうち最低2人はグノーシア
さらにコールドスリープしたコメット、シピのどちらか1人がグノーシア
以上でグノーシア5体となるため破綻、ジナは偽エンジニアであることが確定します。

以上から、SQとラキオのどちらが本物でも沙明は人間です。

---

• ケース9　人数14人　グノーシア4体、エンジニア、ドクター、守護天使、AC主義者、留守番という配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　ククルシカ　コメット　シピ　オトメ　沙明　レムナン　夕里子

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"},{"header":"4","color":"#080"}]}

エンジニア

人間

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#000"},{"header":"4","color":"#000"}]}

エンジニア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#000"},{"header":"3","color":"#000"},{"header":"4","color":"#000"}]}

エンジニア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"},{"header":"4","color":"#000"}]}

ドクター

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#080"},{"header":"4","color":"#800"}]}

ドクター

グノーシア

人間

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#040"},{"header":"2","color":"#040"},{"header":"3","color":"#040"}]}

留守番

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"},{"header":"3","color":"#008"},{"header":"4","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"},{"header":"3","color":"#200"},{"header":"4","color":"#200"}]}

消滅

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#444"},{"header":"3","color":"#444"},{"header":"4","color":"#444"},{"header":"5","color":"#444"},{"header":"6","color":"#444"}]}

情報なし

---

1日目　エンジニアCO：^Eセツ、^ESQ、^E沙明　ドクターCO：^Dジョナス、^Dステラ　留守番：コメット、シピ
　コールドスリープ：^E沙明　消滅：シピ

---

　生存：^Eセツ　ジナ　^ESQ　ラキオ　しげみち　^Dステラ　^Dジョナス　ククルシカ　コメット　オトメ　レムナン　夕里子

---

2日目　エンジニア報告：^Eセツ→^Dジョナスは人間、^ESQ→ラキオは人間
　ドクター報告：^Dジョナス→^E沙明は人間だった、^Dステラ→^E沙明はグノーシアだった
　コールドスリープ：^ESQ　消滅：コメット

---

　生存：^Eセツ　ジナ　ラキオ　しげみち　^Dステラ　^Dジョナス　ククルシカ　オトメ　レムナン　夕里子

---

3日目　エンジニア報告：^Eセツ→ラキオは人間
　ドクター報告：^Dジョナス→^ESQは人間だった、^Dステラ→^ESQは人間だった
　コールドスリープ：^Dジョナス　消滅：ラキオ

---

　生存：^Eセツ　ジナ　しげみち　^Dステラ　ククルシカ　オトメ　レムナン　夕里子

---

4日目　エンジニア報告：^Eセツ→ジナは人間　ドクター報告：^Dステラ→^Dジョナスはグノーシアだった

---

絶対に人間だ

ステラは絶対に人間だと指摘した

絶対に敵だ

セツは絶対に敵だと指摘した

---

説明を表示

ジョナスが本物のドクターだった場合、
コールドスリープした沙明、SQ、ジョナスは人間となり、グノーシアは4体生存しています。
4日目の人数は8人ですから襲撃の時点で8人中4人がグノーシアとなり勝敗が決しています。
つまり、4日目にゲームが続行している時点でジョナスは偽物です。
このことからステラが本物のドクターであり、ステラの報告によりジョナスはグノーシア確定です。
よって、ジョナスを人間と報告しているセツは偽エンジニアです。

---

• ケース10　人数14人　グノーシア4体、エンジニア、ドクター、守護天使、AC主義者、留守番、バグという配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　ククルシカ　コメット　シピ　オトメ　沙明　レムナン　夕里子

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"},{"header":"4","color":"#000"}]}

エンジニア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"},{"header":"4","color":"#000"}]}

エンジニア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"},{"header":"4","color":"#080"}]}

エンジニア

人間

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#080"},{"header":"2","color":"#800"},{"header":"3","color":"#800"},{"header":"4","color":"#800"}]}

ドクター

グノーシア

グノーシア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#040"},{"header":"2","color":"#040"},{"header":"3","color":"#040"}]}

留守番

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"},{"header":"3","color":"#008"},{"header":"4","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"},{"header":"3","color":"#200"},{"header":"4","color":"#200"}]}

消滅

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#444"}]}

情報なし

---

1日目　エンジニアCO：^Eオトメ、^Eレムナン、^E夕里子　ドクターCO：^Dセツ　留守番：SQ、ジナ
　^Dセツは絶対に人間だと指摘された
　コールドスリープ：シピ　消滅：ククルシカ

---

　生存：^Dセツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　コメット　^Eオトメ　沙明　^Eレムナン　^E夕里子

---

2日目　エンジニア報告：^Eオトメ→コメットは人間、^Eレムナン→ジョナスは人間、^E夕里子→ステラは人間
　ドクター報告：^Dセツ→シピはグノーシアだった
　コールドスリープ：しげみち　消滅：ラキオ

---

　生存：^Dセツ　ジナ　SQ　ステラ　ジョナス　コメット　^Eオトメ　沙明　^Eレムナン　^E夕里子

---

3日目　エンジニア報告：^Eオトメ→ステラは人間、^Eレムナン→ラキオは人間、^E夕里子→コメットは人間
　ドクター報告：^Dセツ→^Eしげみちはグノーシアだった
　コールドスリープ：^Eオトメ　消滅：^Eレムナン

---

　生存：^Dセツ　ジナ　SQ　ステラ　ジョナス　コメット　沙明　^E夕里子

---

4日目　エンジニア報告：^E夕里子→ジョナスは人間
　ドクター報告：^Dセツ→^Eオトメはグノーシアだった

---

絶対に人間だ

ジョナスは絶対に人間だと指摘した

絶対に敵だ

夕里子は絶対に敵だと指摘した

---

説明を表示

エンジニア候補の内、オトメはドクター報告によりグノーシア確定です。

夕里子が本物（レムナンが偽）の場合、
レムナンは消滅時に調査していないことからバグではない為、AC主義者しかあり得ません。
グノーシアはシピ、しげみち、オトメまで確定で他に1体が生存しており、
調査した人はステラ、ジョナス、コメットと人間で消滅していない為、バグも有り得ません。
CSした人は全員グノーシアであり、調査結果が人間で消滅した人はいない為、バグも生存しています。
現状、人間かどうかわからない人が沙明しかいないにも関わらず、グノーシア1体とバグの居所がわからない状況です。
以上から、夕里子の報告ではグノーシアとバグの合計数が合わなくなる為、夕里子は偽エンジニア確定です。
一方、レムナンの報告ではラキオが調査により消滅したバグの可能性がありますが、夕里子のような問題はありません。

よって、レムナンが本物のエンジニアであり、調査結果からジョナスは人間確定です。

---

• ケース11　人数13人　グノーシア4体、エンジニア、ドクター、AC主義者、留守番、バグという配役
  メンバーは　セツ　ジナ　SQ　ラキオ　しげみち　ステラ　ジョナス　コメット　シピ　オトメ　沙明　レムナン　夕里子

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"},{"header":"4","color":"#000"}]}

エンジニア

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#080"},{"header":"4","color":"#080"}]}

エンジニア

人間

人間

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#000"},{"header":"4","color":"#000"}]}

エンジニア

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#080"},{"header":"3","color":"#000"},{"header":"4","color":"#000"}]}

エンジニア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#800"},{"header":"4","color":"#080"}]}

ドクター

グノーシア

グノーシア

人間

{"target":"next","color":{},"col_color":[{"header":"1","color":"#444"},{"header":"2","color":"#800"},{"header":"3","color":"#080"},{"header":"4","color":"#800"}]}

ドクター

グノーシア

人間

グノーシア

{"target":"next","color":{},"col_color":[{"header":"1","color":"#040"},{"header":"2","color":"#040"},{"header":"3","color":"#040"}]}

留守番

{"target":"next","color":{},"col_color":[{"header":"1","color":"#008"},{"header":"2","color":"#008"},{"header":"3","color":"#008"},{"header":"4","color":"#008"}]}

コールド　 スリープ

{"target":"next","color":{},"col_color":[{"header":"1","color":"#200"},{"header":"2","color":"#200"},{"header":"3","color":"#200"},{"header":"4","color":"#200"}]}

消滅

---

1日目　エンジニアCO：^Eセツ、^Eジナ、^ESQ、^Eラキオ
　ドクターCO：^D沙明、^Dオトメ　留守番：ステラ、ジョナス
　コールドスリープ：しげみち　消滅：コメット

---

　生存：^Eセツ　^Eジナ　^ESQ　^Eラキオ　ステラ　ジョナス　シピ　^Dオトメ　^D沙明　レムナン　夕里子

---

2日目　エンジニア報告：^Eセツ→コメットは人間、^Eジナ→夕里子は人間、^ESQ→レムナンはグノーシア、^Eラキオ→^Dオトメは人間
　ドクター報告：^Dオトメ→しげみちはグノーシアだった、^D沙明→しげみちはグノーシアだった
　コールドスリープ：ラキオ　消滅：^ESQ

---

　生存：^Eセツ　^Eジナ　^ESQ　ステラ　ジョナス　シピ　^Dオトメ　^D沙明　レムナン　夕里子

---

3日目　エンジニア報告：^Eセツ→夕里子は人間、^Eジナ→シピは人間
　ドクター報告：^Dオトメ→^Eラキオはグノーシアだった、^D沙明→^Eラキオは人間だった
　コールドスリープ：^Eセツ　消滅：なし

---

　生存：^Eジナ　ステラ　ジョナス　シピ　^Dオトメ　^D沙明　レムナン　夕里子

---

4日目　エンジニア報告：^Eジナ→レムナンは人間
　ドクター報告：^Dオトメ→^Eセツは人間だった、^D沙明→^Eセツはグノーシアだった

---

絶対に人間だ

夕里子は絶対に人間だと指摘した

絶対に敵だ

ジナは絶対に敵だと指摘した

---

説明を表示

まず、各エンジニア候補の視点について整理します。

セツが本物のエンジニアの場合、（ジナ、SQ、ラキオが偽）
3日目の襲撃が失敗しているので、バグは生存者の中にいます。（守護天使は不在の為）
SQは4日目以前に消滅しているのでAC主義者しかあり得ません。
ドクターの調査結果から、沙明はセツをグノーシアと報告しているので偽物です。
つまり、オトメが本物のドクターとなります。
よって、ドクター報告からラキオがグノーシアで、自分の調査結果から夕里子は人間です。

ジナが本物のエンジニアの場合、（セツ、SQ、ラキオが偽）
3日目の襲撃が失敗しているので、バグは生存者の中にいます。
SQは4日目以前に消滅しているのでAC主義者しかあり得ません。
調査結果から夕里子、シピ、レムナンは人間判定で消滅していない為、人間確定です。
しげみちは2日目のドクター報告からグノーシア確定です。
3日目と4日目のドクター報告から、ラキオまたはセツのどちらかはグノーシアで、もう一方はAC主義者（人間）でなければなりません。（ジナが本物ならラキオ、セツは偽であり、バグは生存している為）
しかしSQもAC主義者でなければおかしいので破綻しています。
以上から、ジナは偽エンジニア確定です。

SQが本物のエンジニアの場合、（セツ、ジナ、ラキオが偽）
3日目の襲撃が失敗しているので、バグは生存者の中にいます。
オトメが本物のドクターの場合、しげみち、ラキオ、レムナンがグノーシア、セツがAC主義者です。
沙明が本物のドクターの場合、しげみち、セツ、レムナンがグノーシア、ラキオがAC主義者です。
どちらの場合でも不明な役割が残りグノーシア1人、バグ1人であり、内訳不明な偽エンジニア、偽ドクターが1人づつの状況なので、ジナと偽ドクターは片方がグノーシアで、もう片方がバグという内訳になります。
しげみち、レムナン以外のグノーシアとバグ、AC主義者は全てエンジニア候補かドクター候補となり、計グノーシア4体となることから他の人（シピ、夕里子）は人間となります。

ラキオが本物のエンジニアの場合、（セツ、ジナ、SQが偽）
SQが消滅したときにラキオは既にコールドスリープしているので、SQはAC主義者しかあり得ません。
オトメは調査時に人間判定で消滅しておらず、AC主義者はSQなので本物のドクターです。
しかし、オトメはラキオをグノーシアと報告しています。
以上から1日目にCOしたドクター候補の中に本物がいないことになってしまうので破綻しています。（グノーシアのシステム上、偽物がCOした時には本物がいれば必ずCOすることになっており、そして1日目に本物のドクターは必ずいます※特殊なイベントなどの例外を除く）
つまり、ラキオは偽エンジニア確定です。

以上から、セツ、SQのどちらが本物でも夕里子は人間です。

---

※例におかしい部分がある、こういった例が欲しいなどありましたらコメントください

コメント

[管理人]

それはゲーム上でも起こるはずです。
例題の中にそれが問題になるようなパターンは無いよう配慮したつもりですが、おかしい点などありましたらご指摘頂けると助かります。

[名無し]

守護天使の護衛は成功しているのにバグが調査で消滅した場合1人分の死体（バグ）のみになることは理論上あり得ると思うのですが、ゲーム内で見たことがないので論理破綻しているのでしょうか?

[管理人]

ご指摘ありがとうございます。
修正しました。

[名無し]

ケース11ですけど、守護天使不在の構成のはずなのに、
アイコンリストに守護天使が含まれています。

守護天使のアイコンを消して乗員のアイコンを1つ増やすのが正しいと思われます。

[名無し]

ケース11についてはロジックミスがあった為、設問を修正しました。

[管理人]

ご指摘ありがとうございます。
記載ミス（修正漏れ）でしたので訂正しました。

後半部分については言い回しが良くなかったかと思いますので、修正します。

[名無し]

ケース11の3日目ですがセツがコールドスリープしているのに、
生存者の方にもセツが含まれています。

後、同じケース11のジナ真視点の話ですが、不明な役割は残りバグとグノーシア3体で計4人と書かれていますが、
ドクターの報告からセツかラキオのどちらかがグノーシア確定してるので不明な役割は残りバグとグノーシア2体で計3人ではないでしょうか？
どの道ジナが破綻してることに変わりはありませんが。

[管理人]

2日目に消失なしなので、3日目もバグは生存しています
（守護天使がいないので、消失なしはバグを襲撃したときしかあり得ない）
つまり2日目にコールドスリープしたククルシカはバグではあり得ない
（AC主義者がいないので、本物かグノーシアのどちらか）

よってラキオのククルシカは人間という報告は、絶対に嘘です
（ラキオが本物であれば、ククルシカはバグかグノーシアのどちらかだが、2日目に消失なしのなのでククルシカはグノーシアでないとおかしい）

例題ケース5が最も近い例になると思われます

[名無し]

詳細にかける記述ですみません。訂正があります。　
1日目×消失→ジョナス　◯消失→コメット
　　　CS→ジョナス
2日目ドクター報告　ラキオ、ククルシカ、SQ
　 共にジョナスは人間
　　　CS→ククルシカ
　　　消失→なし
3日目ドクター報告　SQ→ククルシカはグノー
　　　シア　ラキオ→ククルシカは人間
　　　絶対に敵だ→ラキオが指摘されました。
分かりにくい記述で申し訳ありません。

[管理人]

以下の不明点から、記載の内容ではわかりかねます
・1日目にコールドスリープした人は？コールドスリープなしでしょうか？
・コールドスリープした人がいる場合、2日目にドクターCOした人の調査結果は？

スクリーンショットで確認できればそちらの方が良いかと思います

[名無し]

13人　グノーシア3　エンジニア　ドクター　留守番　バグ　主人公　セツ　オトメ　レムナン　ジナ　夕里子　ラキオ　ククルシカ　ステラ　紗明　SQ コメット　ジョナス　
1日目エンジニアCO ドクターCOなし消失ジョナス　留守番→オトメ　セツ
2日目ドクターCO ククルシカ　ラキオ　SQ
CDククルシカ　消失コメット
3日目Dラキオ→ククルシカは人間
　　 DSQ→ククルシカはグノーシア
　　　ラキオが絶対に敵だが指摘されました。何故だかわかりません

[管理人]

ケース11については修正した結果ロジックが単純化してしまった為、前提条件から見直し再構成しました

[管理人]

エンジニアの調査結果も修正し、また破綻理由は変わりますが
絶対に敵だor人間だ は同じになるよう調整しました

[管理人]

ご指摘の通りですね
しげみちのドクター判定を修正します

[名無し]

変更後のケース11について、解説にある通り、セツはオトメ真主張、SQもオトメ真主張、ラキオとジナは破綻の為、オトメ人間確定、沙明絶対敵となるようです。

[管理人]

名前を管理人にするのを忘れていました。
修正関連の書き込みは全て管理人のものです。

[名無し]

一部の判定、コールドスリープ対象者の変更を行いました
CO者の破綻理由が以前と異なる部分はありますが、絶対に敵だ、絶対に人間だ、については以前と同じにしています

[名無し]

ご指摘の通りで、これは設問ミスです
判定内容を修正します

[名無し]

ケース11について、沙明が真だとすると騙り4人+グノ2人でグノ側4人+バグ1人の人員越えの為破綻。故に絶対敵沙明、絶対人間オトメも確定しませんか？

[管理人]

ご指摘ありがとうございます
修正いたしました