「その運営母体施設は退場する」ということは成り立つ
fact1: 「もし仮にその一欠けが退場するとしたらその運営母体施設はスワップ・レートでない」ということは成り立つ fact2: この一パーセント点はスワップ・レートでない fact3: その一欠けはスワップ・レートだ fact4: もし仮に「あの取り締まり役会議長は迷い難くない」ということは確かならばこの一パーセント点は心中する fact5: 仮になにがしかのものが心中するとすれば迷い難いということはない fact6: 「その運営母体施設はスワップ・レートでない」ということは本当だ fact7: その一欠けは心中する fact8: この一パーセント点が心中するならその運営母体施設は退場する fact9: 仮に「その一欠けはスワップ・レートである」ということは正しいとすれば「あの取り締まり役会議長は迷い難くない」ということは正しい fact10: 「あの取り締まり役会議長はマーケッターであるということはない」ということは真実だ
fact9 & fact3 -> int1: あの取り締まり役会議長は迷い難くない; int1 & fact4 -> int2: この一パーセント点は心中する; int2 & fact8 -> hypothesis;
fact9 & fact3 -> int1: ¬{B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact8 -> hypothesis;
その運営母体施設は退場しない
fact11 -> int3: 仮に「その一欠けは心中する」ということは本当だとすればそれは迷い難くない;
$facts$ = fact1: 「もし仮にその一欠けが退場するとしたらその運営母体施設はスワップ・レートでない」ということは成り立つ fact2: この一パーセント点はスワップ・レートでない fact3: その一欠けはスワップ・レートだ fact4: もし仮に「あの取り締まり役会議長は迷い難くない」ということは確かならばこの一パーセント点は心中する fact5: 仮になにがしかのものが心中するとすれば迷い難いということはない fact6: 「その運営母体施設はスワップ・レートでない」ということは本当だ fact7: その一欠けは心中する fact8: この一パーセント点が心中するならその運営母体施設は退場する fact9: 仮に「その一欠けはスワップ・レートである」ということは正しいとすれば「あの取り締まり役会議長は迷い難くない」ということは正しい fact10: 「あの取り締まり役会議長はマーケッターであるということはない」ということは真実だ ; $hypothesis$ = 「その運営母体施設は退場する」ということは成り立つ ; $proof$ = 
fact9 & fact3 -> int1: あの取り締まり役会議長は迷い難くない; int1 & fact4 -> int2: この一パーセント点は心中する; int2 & fact8 -> hypothesis; __PROVED__
事実1: 「もし仮にその一欠けが退場するとしたらその運営母体施設はスワップ・レートでない」ということは成り立つ
事実2: この一パーセント点はスワップ・レートでない
事実3: その一欠けはスワップ・レートだ
事実4: もし仮に「あの取り締まり役会議長は迷い難くない」ということは確かならばこの一パーセント点は心中する
事実5: 仮になにがしかのものが心中するとすれば迷い難いということはない
事実6: 「その運営母体施設はスワップ・レートでない」ということは本当だ
事実7: その一欠けは心中する
事実8: この一パーセント点が心中するならその運営母体施設は退場する
事実9: 仮に「その一欠けはスワップ・レートである」ということは正しいとすれば「あの取り締まり役会議長は迷い難くない」ということは正しい
事実10: 「あの取り締まり役会議長はマーケッターであるということはない」ということは真実だ

仮説: 「その運営母体施設は退場する」ということは成り立つ
1. 事実9と事実3から、推論1: "あの取り締まり役会議長は迷い難くない"が導かれる
2. 推論1と事実4から、推論2: "この一パーセント点は心中する"が導かれる
3. 推論2と事実8から、仮説が導かれる

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