進階三段邏輯題 - 推理遊戲

: 前提:
: 1. Some Little Dog are not Mean Animals
: 2. All Dogs are Animals
: 結論:
: Some dogs are mean
: 請問這樣推論是否合理?
: 網路上正確解答是 "不合理"
: 理由是:
: Minimal missing premise:
: It exists something that is dog and mean or dog and not animal

我會這樣畫：
┌──────────┐
│animals │
│┌────────┐│
││dogs ││
││┌──────┐││
│││little dog │││
│││┌────┐│││
││││not mean││││
│││└────┘│││
││└──────┘││
│└────────┘│
└──────────┘

--