ＡＢＣＤＥ
黒白灰灰黒

ＡとＥの仔は黒

メスどうしだから、子は生まれない。

＞マウスCとマウスDの間に、白マウスが生まれることはない。
CもDもメス、という可能性を忘れてました。

性別に注意。

1行目より、A,Bは異性で、(白,白),(黒,黒)ではない。
2行目より、B,Cは異性で、(白,灰),(灰,白),(灰,灰)のどれか。…(*)
4行目より、D,Eは異性で、どちらも白マウスでない。…

よりEは白でないから、5行目から、A,Eは(黒,黒)か(灰,灰)だが、
(*)より、B,Cの中に灰がいるので、6行目と合わせて、A,Eは(黒,黒)となる。

CとDが異性だとすると、3行目から、CとDの中に黒がいる。
これはA,Eが(黒,黒)であることと6行目に矛盾。
よってCとDは同性。

以上から、AとEは異性で,(黒,黒)である。→仔マウスは黒。

答え. 黒色

そりゃ同じ性別だと「生まれることはない」ですよね、、

答え：黒色

・CとDが異性の場合は、AとEが同性になるので、この場合、仔マウスは生まれない。
よって、CとDは同性となる（「白マウスが生まれることはない。」を満たす）ので、以下、この場合を考える。

C,D間の情報は意味がないので無視し、A,B、B,C、D,E、E,A間の情報のみを考える。
「〜ことがある。」を「〜以外の可能性が存在する」ととらえると、
(D,E) = (黒、灰) or (灰、黒)
(B,C) = (白、灰) or (灰、灰)
(A,B) = (灰、白) or (灰、黒) or (灰、灰)（順不同）
となる。

Eが灰色の場合は、Aも灰色なので、B or Cと合わせて、灰色が3匹以上となり不適。
よって、(D,E) = (灰、黒)となる。よって、Aも黒色。

よって、(A,B,C) = (黒、灰、白)に決まる（Cが灰色だと、灰色が3匹以上になるので。）
ので、この場合、AとEの間の仔マウスは黒色になる。

以上より、AとEの間の仔マウスの体毛は黒色となる。

...「灰」の字がゲシュタルト崩壊してしまいました... 笑

条件の色のみしか生まれない場合も考慮して再度。
（A,B: 灰、B,C: 白・灰、D,E: 黒, A=E）

(D,E) = (黒、灰) or (灰、黒) or (黒、黒)
(B,C) = (白、灰) or (灰、白) or (灰、灰)
(A,B) = (灰、白) or (灰、黒) or (灰、灰) or (白、黒)（順不同）

Eが灰色の場合は、Aも灰色なので、B or Cと合わせて、灰色が3匹以上となり不適。
よって、(D,E) = (灰、黒)となる。よって、Aも黒色。

よって、AとEの間では黒色の仔マウスが生まれる。

結局あまり関係なかったです

(A,B,C,D,E) = (黒♂,白♀,灰♂,灰♂,黒♀)
マウスCとDが「同性なので子供を作れない」と考えれば破綻しない。

黒

・マウスA,Eの体毛が白の場合
「マウスDとマウスEの間に、黒マウスが生まれることがある」の条件に矛盾。（親に白マウスがいる場合、黒マウスは生まれ得ない）

・マウスA,Eの体毛が黒の場合
「マウスCとマウスDの間に、白マウスが生まれることはない。」の条件より、CかDの少なくとも一方のマウスの体毛は黒。しかし、これは「マウスA〜マウスEの中に、体毛の色が同じマウスは３匹以上いない。」の条件に矛盾。（黒マウスが最低でも3匹必要）

・マウスA,Eの体毛が灰の場合
「マウスBとマウスCの間に、白マウスも灰マウスも生まれることがある。」の条件より、CかDの少なくとも一方のマウスの体毛は灰。しかし、これも「マウスA〜マウスEの中に、体毛の色が同じマウスは３匹以上いない。」の条件に矛盾。（灰マウスが最低でも3匹必要）

・マウスA,Eの体毛が異なる場合
「マウスEとマウスAの体毛の色は一緒である。」の条件に思いっきり矛盾。


答えが無いのが答え…？
間違えているとしたら何処なんでしょう。

答：黒マウスだけが生まれる。
CとDがオスとメスと仮定すると、すべての条件を満たす解は存在しない。そのため、CとDは同性。
BCのいずれかは灰。
AEが共に灰と仮定すると灰が3匹となり矛盾。
AEが共に白と仮定するとDEの仔が黒にならないため矛盾。
よってAEは共に黒。

【A:黒】

マウスA：黒
マウスBとマウスC：白／灰 または 灰／白
マウスD：灰
マウスE：黒

マウスの性別は、それぞれ「A・C・D」と「B・E」がオス／メス、あるいはその逆。
マウスCとマウスDは「同性なので」白マウスが生まれることはない。

マウスAとマウスEの間に「生まれる可能性がある」のなら、
これで合っているはずですが、いかがでしょうか？

CとDの性別が同じの時、矛盾が消えることに気付きました。
A：黒　D：灰　E：黒 （BとCは白、灰で可逆）で大丈夫そうです。

マウスAとマウスEの間に生まれる仔マウスの体毛は、黒。

A黒
B灰
C白
D灰
E黒

〜で黒

A黒
B白
C灰
D灰
E黒

で、黒

A〜Eぜんぶ灰色。
「灰色」にも濃さの違いがあるから、「同じ色」は三匹いなかった。

ＡとＥは同性なので子供は産まれない

答え「ＡＥは同性なので仔マウスは産まれない」

・マウスAとマウスBの間に、灰マウスが生まれることがある。
→ABは異性

・マウスBとマウスCの間に、白マウスも灰マウスも生まれることがある。
→BCは異性＝ACは同性

・マウスCとマウスDの間に、白マウスが生まれることはない。
→CDは異性＝ACは同性、BDはそれと異性

・マウスDとマウスEの間に、黒マウスが生まれることがある。
→DEは異性＝ACEが同性、BDはそれと異性

答：　黒

仮定：このマウス群はどのようなカップル組み合わせからも子が生まれる可能性があるものと仮定する。

条件５より同色であるところのAEの色を考える。
条件６より、BCDの色はAEと異なる。
・条件２より　BCどちらかが灰なので、AEは灰でない。
・条件３より　CDどちらかが黒なので、AEは黒でない。
・条件４より、Eは白ではないので、AEは白でない。
以上、題意を満たさない。故に先の仮定は誤り。

「生まれることはない」を「そもそも子が生まれない組み合わせ」の可能性を含めて読み替えた場合、条件３だけが緩和可能。
（通常の有性生殖であって、ACD と BE が性的にヘテロな関係、と考えるのが自然な洞察ではある）
∴　A=黒、E=黒。　AE間に子が生まれるとしたら、仔の体毛の色は黒以外の可能性がない。

白・黒・灰のいずれも生まれる。

まず、DEの条件からE（とD）は白ではないことが分かる。
次に、AとEの色を考えると、上記と、AとEが同色との条件から白ではない。

そこで、AEが黒、AEが灰、について、それぞれ考える。

AEが黒と仮定した場合、三匹以上同じ色がいない条件と、DEの条件から、
Dは灰色でなければならない。
Dが灰色だとすると、CDの条件からCは黒でなければならない。
ここで、黒が三匹確定してしまい、矛盾。
つまり、AEは黒ではない。

つまり、AEは灰色。
その場合、Dは黒となり、
BおよびCは白・灰、灰・灰、灰・白の三通りある（どれでも矛盾無し）
全てのマウスの色は確定できないが、
AEが灰色であることから、
生まれる子供の体色は、白・黒・灰のいずれもあり得る。（以上）

黒

まず、仮にＡをオス、Ｂをメスと決める（逆でも答えに変わりは無い）
また、「生まれる可能性がある」組合せは異性だと分かる。
ＡとＢ、ＢとＣ、ＤとＥは異性。

ここで問題になるのが、
ＢとＣが同性なのか、
ＥとＡが同性なのか。

ＥとＡが同性だと「生まれない」が答えとなり、クイズとして深みがないので、
一旦ＥとＡは異性とし、ＢとＣが同性として考える。（最後に確認します）

×・・・その体色の可能性はない
○・・・その体色の可能性はある


Ｂ＼Ａ
　白黒灰
白×○○
黒○×◎
灰○○○

Ｃ＼Ｂ
　白黒灰
白××○
黒××○
灰○○○

（ＣとＤの間には黒だけでなく、どの色のマウスも生まれない）

Ｅ＼Ｄ
　白黒灰
白×××
黒×○○
灰×○○

Ａ＼Ｅ
　白黒灰
白○××
黒×○×
灰××○

Ａ灰・Ｅ灰と仮定すると、
Ｄ黒となる。
このとき、Ｂ白、Ｂ黒の両方が考えられるが、
いずれも、Ｃ灰となり、灰が３匹で題意に矛盾。

したがって、
Ａ黒・Ｅ黒となる。
このとき、Ｄ灰となり、
Ｂ白なら、Ｃ灰
Ｂ灰なら、Ｃ白
ＢＣの体毛は確定しないが、いずれも矛盾しない。


最後に、ＡとＥの性別が同じ場合を考える。
この場合の回答は、「生まれない」になるはずだが・・・

上記に加え、以下の条件が加わる

Ｄ＼Ｃ
　白黒灰
白×○×
黒○○○
灰×○×

同様にＡ黒、Ｅ黒、Ｄ灰となり、
1)Ｂ白のとき、Ｃは白でも黒でも灰でも矛盾する
2)Ｂ灰のとき、Ｃは白でも黒でも灰でも矛盾する

したがって、ＡとＥが同性という仮定は成り立たない。

以上から、
ＡとＥは異性（オス・メスか、メス・オスかは分からない）で、
体色は、黒・黒。