伴意関係（𝐾𝐵 ≡ 𝐾𝐵 ∧ 𝛼）となるかを調べること
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