論理的に考えるということについて――『数字であそぼ』（３)の違和感

数字であそぼ。（３） (フラワーコミックスα) 絹田村子
https://www.amazon.co.jp/dp/B081Z1PXR5/

『数字であそぼ』（３)に、以下のようなクイズがある。

僕が解いたのは、以下の通り。

まず、制約事項は２つ。
①２人は京都人、１人は大阪人
②同じ出身の者については真実を言う

では、Ａ子が言いました「Ｂ子は大阪人やで」について――
もし、Ａ子が大阪人であると仮定すると、②の前提から、①を満たさなくなる。従って、Ａ子とＢ子は同郷人ではない。
すなわち、
a-1:「Ａ子＝京都人、Ｂ子＝大阪人」
または、
a-2:「Ａ子＝大阪人、Ｂ子＝京都人」

次に、Ｂ子が言いました「Ｃ子は大阪人やで」について――
もし、Ｂ子が大阪人であると仮定すると、やはり②の前提から、①を満たさなくなる。従って、Ｂ子とＣ子もまた、同郷人ではない。
すなわち、
b-1:「Ｂ子＝京都人、Ｃ子＝大阪人」
または、
b-2「Ｂ子＝大阪人、Ｃ子＝京都人」

以上から、
〈a-1 or a-2〉&〈b-1 or b-2〉を満たすのは、
〈a-1 & b-2〉の組合せだけである。
故に、Ｂ子が大阪人である。
　※〈a-1 & b-1〉は、Ｂ子がいずれにも決まらない。
　※〈a-2 & b-1〉は、大阪人が２人になってしまう。（制約①に反する）
　※〈a-2 & b-2〉は、Ｂ子がいずれにも決まらない。

これを、コミックではベン図で説明するのだが、どうも違和感がある。
・Ａ子「Ｂ子は大阪人やで」から、Ａ子またはＢ子が大阪人
・Ｂ子「Ｃ子は大阪人やで」から、Ｂ子またはＣ子が大阪人
・重なるのはＢ子なので、Ｂ子が大阪人
僕は理数系の人ではないので、この違和感をうまく言葉にできないのだけれど、これは解けていると言えるのだろうか？

この、「可能性を合わせると…」という言い方が、どうも引っかかるのだ。まあ、監修者がいるそうだから、コミックの解き方で正しいのだろうけれど。う～む、なんかモヤモヤするなあ……。（綾透）