伴意関係(𝐾𝐵 ≡ 𝐾𝐵 ∧ 𝛼)となるかを調べること
http://aiweb.cs.ehime-u.ac.jp/~ninomiya/ke/ke-2.pdf
http://aiweb.cs.ehime-u.ac.jp/~ninomiya/ke/ke-8-slide.pdf