あのフレイルチェストはエディションである
fact1: あるものは制限す fact2: もしも「「あのボイスレコーダーは賛成しないし被占領国でない」ということは間違いである」ということは成り立つならあのフレイルチェストはエディションである fact3: もし仮になにかは賛成するかそれが制限すとしたらエディションでない fact4: 仮に「なにかは被占領国だ」ということは本当だとすれば賛成する fact5: もしも「制限す」ものはあるとすれば「あのボイスレコーダーは賛成しなくてまた被占領国でない」ということは成り立たない
fact1 & fact5 -> int1: 「あのボイスレコーダーは賛成しなくてしかも被占領国でない」ということは正しくない; int1 & fact2 -> hypothesis;
fact1 & fact5 -> int1: ¬(¬{B}{a} & ¬{C}{a}); int1 & fact2 -> hypothesis;
あのフレイルチェストはエディションでない
fact7 -> int2: あのフレイルチェストは賛成するかまたは制限すかあるいは両方ともだとすればエディションでない; fact6 -> int3: 仮にあのフレイルチェストが被占領国だとすると賛成する;
$facts$ = fact1: あるものは制限す fact2: もしも「「あのボイスレコーダーは賛成しないし被占領国でない」ということは間違いである」ということは成り立つならあのフレイルチェストはエディションである fact3: もし仮になにかは賛成するかそれが制限すとしたらエディションでない fact4: 仮に「なにかは被占領国だ」ということは本当だとすれば賛成する fact5: もしも「制限す」ものはあるとすれば「あのボイスレコーダーは賛成しなくてまた被占領国でない」ということは成り立たない ; $hypothesis$ = あのフレイルチェストはエディションである ; $proof$ = 
fact1 & fact5 -> int1: 「あのボイスレコーダーは賛成しなくてしかも被占領国でない」ということは正しくない; int1 & fact2 -> hypothesis; __PROVED__
事実1: あるものは制限す
事実2: もしも「「あのボイスレコーダーは賛成しないし被占領国でない」ということは間違いである」ということは成り立つならあのフレイルチェストはエディションである
事実3: もし仮になにかは賛成するかそれが制限すとしたらエディションでない
事実4: 仮に「なにかは被占領国だ」ということは本当だとすれば賛成する
事実5: もしも「制限す」ものはあるとすれば「あのボイスレコーダーは賛成しなくてまた被占領国でない」ということは成り立たない

仮説: あのフレイルチェストはエディションである
1. 事実1と事実5から、推論1: "「あのボイスレコーダーは賛成しなくてしかも被占領国でない」ということは正しくない"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。