もしそのＣランクが歩き辛いということはないならその教科書行政はブランドらしいしさらに基本形態である
fact1: そのＣランクは歩き辛くないならば「それは繰り出すし手癖でない」ということは真実だということはない fact2: もしあの三段階が世界政府でないとしたらその教科書行政は気付き難いしさらに基本形態だ fact3: 仮になにがしかの物は保健維持機構であるならばそれはフォルティスである fact4: 「そのＣランクは繰り出す一方で手癖でない」ということは本当でない fact5: 「もし仮にとあるものは歩き辛いということはないとすれば「それは繰り出すということはなくて手癖でない」ということは間違いである」ということは成り立つ fact6: 「この国際テロは気付き易くないがマスクする」ということは誤っていればあの三段階は世界政府でない fact7: もしそのＣランクが歩き辛いとしたらその教科書行政はブランドらしいし基本形態だ fact8: もしあの三段階が世界政府でないとするとその教科書行政は気付き難い fact9: もしもその脇役がフォルティスならその教科書行政はブランドらしい fact10: もし「そのＣランクは繰り出さなくて手癖だということはない」ということは事実と異なればその脇役は保健維持機構だ fact11: 「この国際テロは気付き易くないけどそれはマスクする」ということは本当でない fact12: もしそのＣランクが繰り出すとしたらその脇役は保健維持機構である
fact5 -> int1: もしもそのＣランクは歩き辛くないならば「それは繰り出さないしさらに手癖でない」ということは偽である; void -> assump1: 以下のように仮定する。そのＣランクは歩き辛いということはない; int1 & assump1 -> int2: 「そのＣランクは繰り出すということはなくて手癖でない」ということは誤っている; int2 & fact10 -> int3: その脇役は保健維持機構だ; fact3 -> int4: 仮に「その脇役は保健維持機構だ」ということは成り立つとすればフォルティスだ; int3 & int4 -> int5: 「その脇役はフォルティスだ」ということは成り立つ; int5 & fact9 -> int6: その教科書行政はブランドらしい; fact6 & fact11 -> int7: あの三段階は世界政府でない; fact2 & int7 -> int8: その教科書行政は気付き難い基本形態である; int8 -> int9: その教科書行政は基本形態だ; int6 & int9 -> int10: その教科書行政はブランドらしいしさらにそれは基本形態だ; [assump1] & int10 -> hypothesis;
$facts$ = fact1: そのＣランクは歩き辛くないならば「それは繰り出すし手癖でない」ということは真実だということはない fact2: もしあの三段階が世界政府でないとしたらその教科書行政は気付き難いしさらに基本形態だ fact3: 仮になにがしかの物は保健維持機構であるならばそれはフォルティスである fact4: 「そのＣランクは繰り出す一方で手癖でない」ということは本当でない fact5: 「もし仮にとあるものは歩き辛いということはないとすれば「それは繰り出すということはなくて手癖でない」ということは間違いである」ということは成り立つ fact6: 「この国際テロは気付き易くないがマスクする」ということは誤っていればあの三段階は世界政府でない fact7: もしそのＣランクが歩き辛いとしたらその教科書行政はブランドらしいし基本形態だ fact8: もしあの三段階が世界政府でないとするとその教科書行政は気付き難い fact9: もしもその脇役がフォルティスならその教科書行政はブランドらしい fact10: もし「そのＣランクは繰り出さなくて手癖だということはない」ということは事実と異なればその脇役は保健維持機構だ fact11: 「この国際テロは気付き易くないけどそれはマスクする」ということは本当でない fact12: もしそのＣランクが繰り出すとしたらその脇役は保健維持機構である ; $hypothesis$ = もしそのＣランクが歩き辛いということはないならその教科書行政はブランドらしいしさらに基本形態である ; $proof$ = 
fact5 -> int1: もしもそのＣランクは歩き辛くないならば「それは繰り出さないしさらに手癖でない」ということは偽である; void -> assump1: 以下のように仮定する。そのＣランクは歩き辛いということはない; int1 & assump1 -> int2: 「そのＣランクは繰り出すということはなくて手癖でない」ということは誤っている; int2 & fact10 -> int3: その脇役は保健維持機構だ; fact3 -> int4: 仮に「その脇役は保健維持機構だ」ということは成り立つとすればフォルティスだ; int3 & int4 -> int5: 「その脇役はフォルティスだ」ということは成り立つ; int5 & fact9 -> int6: その教科書行政はブランドらしい; fact6 & fact11 -> int7: あの三段階は世界政府でない; fact2 & int7 -> int8: その教科書行政は気付き難い基本形態である; int8 -> int9: その教科書行政は基本形態だ; int6 & int9 -> int10: その教科書行政はブランドらしいしさらにそれは基本形態だ; [assump1] & int10 -> hypothesis; __PROVED__
事実1: そのＣランクは歩き辛くないならば「それは繰り出すし手癖でない」ということは真実だということはない
事実2: もしあの三段階が世界政府でないとしたらその教科書行政は気付き難いしさらに基本形態だ
事実3: 仮になにがしかの物は保健維持機構であるならばそれはフォルティスである
事実4: 「そのＣランクは繰り出す一方で手癖でない」ということは本当でない
事実5: 「もし仮にとあるものは歩き辛いということはないとすれば「それは繰り出すということはなくて手癖でない」ということは間違いである」ということは成り立つ
事実6: 「この国際テロは気付き易くないがマスクする」ということは誤っていればあの三段階は世界政府でない
事実7: もしそのＣランクが歩き辛いとしたらその教科書行政はブランドらしいし基本形態だ
事実8: もしあの三段階が世界政府でないとするとその教科書行政は気付き難い
事実9: もしもその脇役がフォルティスならその教科書行政はブランドらしい
事実10: もし「そのＣランクは繰り出さなくて手癖だということはない」ということは事実と異なればその脇役は保健維持機構だ
事実11: 「この国際テロは気付き易くないけどそれはマスクする」ということは本当でない
事実12: もしそのＣランクが繰り出すとしたらその脇役は保健維持機構である

仮説: もしそのＣランクが歩き辛いということはないならその教科書行政はブランドらしいしさらに基本形態である
1. 事実5から、推論1: "もしもそのＣランクは歩き辛くないならば「それは繰り出さないしさらに手癖でない」ということは偽である"が導かれる
2. 仮定1: 以下のように仮定する。そのＣランクは歩き辛いということはない
3. 推論1と仮定1から、推論2: "「そのＣランクは繰り出すということはなくて手癖でない」ということは誤っている"が導かれる
4. 推論2と事実10から、推論3: "その脇役は保健維持機構だ"が導かれる
5. 事実3から、推論4: "仮に「その脇役は保健維持機構だ」ということは成り立つとすればフォルティスだ"が導かれる
6. 推論3と推論4から、推論5: "「その脇役はフォルティスだ」ということは成り立つ"が導かれる
7. 推論5と事実9から、推論6: "その教科書行政はブランドらしい"が導かれる
8. 事実6と事実11から、推論7: "あの三段階は世界政府でない"が導かれる
9. 事実2と推論7から、推論8: "その教科書行政は気付き難い基本形態である"が導かれる
10. 推論8から、推論9: "その教科書行政は基本形態だ"が導かれる
11. 推論6と推論9から、推論10: "その教科書行政はブランドらしいしさらにそれは基本形態だ"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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