「「仮に朝鮮関係であるなら共鳴し合うかもしくは混ざらない」ものはある」ということは成り立たない
fact1: もしもこの拘束式は朝鮮関係であるとすれば共鳴し合うかまたは混ざらないかまたはどちらもである
$facts$ = fact1: もしもこの拘束式は朝鮮関係であるとすれば共鳴し合うかまたは混ざらないかまたはどちらもである ; $hypothesis$ = 「「仮に朝鮮関係であるなら共鳴し合うかもしくは混ざらない」ものはある」ということは成り立たない ; $proof$ = 
事実1: もしもこの拘束式は朝鮮関係であるとすれば共鳴し合うかまたは混ざらないかまたはどちらもである

仮説: 「「仮に朝鮮関係であるなら共鳴し合うかもしくは混ざらない」ものはある」ということは成り立たない