(中年おっさん) ⇒ (高慢)という主張だとすれば、 (中年おっさん) ⊆ (高慢)の包含関係になる。 ならば、(全て/いずれか)の(中年おっさん)は(高慢)なのではないのか？