SESの件は、以前も指摘した一階述語論理を扱えないって特徴が良く出ている。

∃SESはブラック と ∀SESはブラック が等価w

小学生でも使えてるんだけどな。