「この統治構造は精錬するけれど撃破出来ない」ということは偽である
fact1: もし仮にその十．一．Ｘが口絵図だが利用し難いということはないならばそのモメンタムは口絵図でない fact2: 素早くない物は精錬するが撃破出来るということはない fact3: 傾き易くない物は口絵図であるけれど利用し難くない fact4: 「そのモメンタムは長距離会社であるか見届けるかどちらもだ」ということは成り立つということはないとしたらあのヒレは素早いということはない fact5: 仮に「この統治構造は入学試験でないけど分散移住する」ということは間違いならばあの天竺は入学試験である fact6: もしある物がオープンエアであるかそれはＭＯＬであるならば素早くない fact7: 「採集しない」ものはある fact8: そのモメンタムは素早くないしさらにＭＯＬでない fact9: もしあのヒレが素早くないならばあの統治構造はオープンエアでないしおまけにＭＯＬでない fact10: オープンエアは洪水伝説だ fact11: もしもなにかは分散移住しないとすると「それは精錬するしさらに撃破出来ない」ということは確かでない fact12: 仮に何かはＹ座標でないかまたはそれは傾き易くないかあるいは両方ともならばそれは傾き易くない fact13: あるものは口絵図でないなら「それは長距離会社であるかそれは見届ける」ということは誤りだ fact14: この統治構造は洪水伝説であるけれどＭＯＬだということはない fact15: もし仮に何かは分散移住するということはないし洪水伝説でないとしたらこの統治構造はオープンエアである fact16: あのカードゲームは分散移住しないしまた洪水伝説だということはない
fact16 -> int1: なにがしかのものは分散移住しないし洪水伝説だということはない; int1 & fact15 -> int2: この統治構造はオープンエアである; int2 -> int3: この統治構造はオープンエアであるかまたはＭＯＬだ; fact6 -> int4: この統治構造はオープンエアであるかもしくはＭＯＬであるか両方であるとしたら「素早いということはない」ということは確かである; int3 & int4 -> int5: この統治構造は素早くない; fact2 -> int6: 仮にこの統治構造が素早くないならば精錬するししかも撃破出来ない; int5 & int6 -> hypothesis;
「この統治構造は精錬するがしかし撃破出来ない」ということは成り立たない
fact18 -> int7: 「この統治構造は分散移住しないとすれば「この統治構造は精錬するけれどそれは撃破出来るということはない」ということは本当でない」ということは成り立つ; fact22 -> int8: もしそのモメンタムは口絵図でないなら「長距離会社であるか見届ける」ということは成り立たない; fact21 -> int9: 仮にその十．一．Ｘが傾き易くないならば口絵図であるけれど利用し難くない; fact24 -> int10: もしその十．一．ＸはＹ座標でないかまたは傾き易くないかまたは両方であるならば「傾き易くない」ということは成り立つ;
$facts$ = fact1: もし仮にその十．一．Ｘが口絵図だが利用し難いということはないならばそのモメンタムは口絵図でない fact2: 素早くない物は精錬するが撃破出来るということはない fact3: 傾き易くない物は口絵図であるけれど利用し難くない fact4: 「そのモメンタムは長距離会社であるか見届けるかどちらもだ」ということは成り立つということはないとしたらあのヒレは素早いということはない fact5: 仮に「この統治構造は入学試験でないけど分散移住する」ということは間違いならばあの天竺は入学試験である fact6: もしある物がオープンエアであるかそれはＭＯＬであるならば素早くない fact7: 「採集しない」ものはある fact8: そのモメンタムは素早くないしさらにＭＯＬでない fact9: もしあのヒレが素早くないならばあの統治構造はオープンエアでないしおまけにＭＯＬでない fact10: オープンエアは洪水伝説だ fact11: もしもなにかは分散移住しないとすると「それは精錬するしさらに撃破出来ない」ということは確かでない fact12: 仮に何かはＹ座標でないかまたはそれは傾き易くないかあるいは両方ともならばそれは傾き易くない fact13: あるものは口絵図でないなら「それは長距離会社であるかそれは見届ける」ということは誤りだ fact14: この統治構造は洪水伝説であるけれどＭＯＬだということはない fact15: もし仮に何かは分散移住するということはないし洪水伝説でないとしたらこの統治構造はオープンエアである fact16: あのカードゲームは分散移住しないしまた洪水伝説だということはない ; $hypothesis$ = 「この統治構造は精錬するけれど撃破出来ない」ということは偽である ; $proof$ = 
fact16 -> int1: なにがしかのものは分散移住しないし洪水伝説だということはない; int1 & fact15 -> int2: この統治構造はオープンエアである; int2 -> int3: この統治構造はオープンエアであるかまたはＭＯＬだ; fact6 -> int4: この統治構造はオープンエアであるかもしくはＭＯＬであるか両方であるとしたら「素早いということはない」ということは確かである; int3 & int4 -> int5: この統治構造は素早くない; fact2 -> int6: 仮にこの統治構造が素早くないならば精錬するししかも撃破出来ない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にその十．一．Ｘが口絵図だが利用し難いということはないならばそのモメンタムは口絵図でない
事実2: 素早くない物は精錬するが撃破出来るということはない
事実3: 傾き易くない物は口絵図であるけれど利用し難くない
事実4: 「そのモメンタムは長距離会社であるか見届けるかどちらもだ」ということは成り立つということはないとしたらあのヒレは素早いということはない
事実5: 仮に「この統治構造は入学試験でないけど分散移住する」ということは間違いならばあの天竺は入学試験である
事実6: もしある物がオープンエアであるかそれはＭＯＬであるならば素早くない
事実7: 「採集しない」ものはある
事実8: そのモメンタムは素早くないしさらにＭＯＬでない
事実9: もしあのヒレが素早くないならばあの統治構造はオープンエアでないしおまけにＭＯＬでない
事実10: オープンエアは洪水伝説だ
事実11: もしもなにかは分散移住しないとすると「それは精錬するしさらに撃破出来ない」ということは確かでない
事実12: 仮に何かはＹ座標でないかまたはそれは傾き易くないかあるいは両方ともならばそれは傾き易くない
事実13: あるものは口絵図でないなら「それは長距離会社であるかそれは見届ける」ということは誤りだ
事実14: この統治構造は洪水伝説であるけれどＭＯＬだということはない
事実15: もし仮に何かは分散移住するということはないし洪水伝説でないとしたらこの統治構造はオープンエアである
事実16: あのカードゲームは分散移住しないしまた洪水伝説だということはない

仮説: 「この統治構造は精錬するけれど撃破出来ない」ということは偽である
1. 事実16から、推論1: "なにがしかのものは分散移住しないし洪水伝説だということはない"が導かれる
2. 推論1と事実15から、推論2: "この統治構造はオープンエアである"が導かれる
3. 推論2から、推論3: "この統治構造はオープンエアであるかまたはＭＯＬだ"が導かれる
4. 事実6から、推論4: "この統治構造はオープンエアであるかもしくはＭＯＬであるか両方であるとしたら「素早いということはない」ということは確かである"が導かれる
5. 推論3と推論4から、推論5: "この統治構造は素早くない"が導かれる
6. 事実2から、推論6: "仮にこの統治構造が素早くないならば精錬するししかも撃破出来ない"が導かれる
7. 推論5と推論6から、仮説が否定される

よって、仮説が否定されました。