一個邏輯問題 我被英文語意搞混了 - 推理遊戲

※ 引述《ivan7296 (Mis)》之銘言：
如果： Some A that are B are not C that are D

那麼 1：Some B are not C
2：Some A are D

請問是對 是錯 還是不知道？

老實說我是被英文語意卡住 答案讓我覺得怪怪的
不知道是答案錯誤 還是我英文語意認知錯誤
大家講講看你的認知裡面 題意的情況是如何

----

其實我也很困擾
不過題目還滿好玩
就來做做看吧～

Some A (that are B) / are not / C (that are D)
▔▔▔ ▔▔▔▔▔▔ ﹋﹋﹋﹋ ▔ ▔▔▔▔▔▔
主詞 ¯¯修詞主詞 主要動詞 主詞補語 修飾補語

超級直譯：

有些A不是C；
有些(是B的)A，不是(那些是D的)C

「Some A that are B」就讓我困擾，因為我不知道它可以表示甲或乙或均可：

(甲) (乙)

┌──────┐ ┌───────┐
｜ ｜ ｜ ｜
｜ Ａ ｜ ｜ Ａ ｜
｜ ┌───┼───┐ ｜ ┌──┐ ｜
｜ ｜ 主詞 ｜ ｜ ｜ ｜ Ｂ ｜ ｜
｜ ｜ ｜ ｜ ｜ ｜主詞｜ ｜
└──┼───┘ ｜ ｜ └──┘ ｜
｜ Ｂ ｜ └───────┘
｜ ｜
└───────┘

▲主詞是A和B的交集 ▲主詞是B一整塊

而主詞不是C與D的交集

先假設是甲的情況：

1：Some B are not C
（有些B不是C)
不一定，只要C大於等於B且包含整個B，然後與D的交集和「主詞」沒有任何重疊，還是
成立的：

┌──────┐ ┌────┐
｜ ｜ ｜ ｜
｜ Ａ ｜ ｜ Ｄ｜
｜ ┌───┼─┼─┐ ｜
｜ ｜ 主詞 ｜ └─┼──┘
｜ ｜ ｜ ｜
└──┼───┘ ｜
｜ Ｂ＝Ｃ｜ ◎有些(是B的)A，不是(那些是D的)C
｜ ｜
└───────┘ C可能比較大且把B整個包含

除非B和C有些錯開，「有些B不是C」才是正確的。

2：Some A are D

看上圖同理可證，A與D可能有交集，也可能沒交集。所以答案是不一定。

假設是乙的情況也是一樣：

┌───────┐
｜Ａ┌─────┼───┐
｜ ｜┌──┐ ｜┌─┐｜
｜ ｜｜ Ｂ ｜ ｜｜Ｄ｜｜
｜ ｜｜主詞｜ ｜└─┘｜
｜ ｜└──┘ ｜ ｜
└─┼─────┘ ｜
｜ Ｃ ｜ ◎有些(是B的)A，不是(那些是D的)C
｜ ｜
└─────────┘ D可以與A有交集，只要不同時與B交集即可。

所以兩題應該都是「不一定」吧？（大概……）
原PO可以告訴我嗎？>"<

--