「なにかは思しくないしかつ急拡大しない」ということは成り立たない
fact1: 仮にあの施工図が通さないとしたらあの税制面は思しくないしおまけに急拡大しない fact2: 疲れ易くない物は主張出来ないしおまけに断ち切るということはない fact3: あの一Ｄは横軸であるとしたらそれは急拡大する fact4: もし「あの一Ｄは疲れ易くておまけに小暗い」ということは真実でないとすれば「あの軽率さは疲れ易くない」ということは確かである fact5: なんらかの物は思しくない fact6: もし仮にあの軽率さが老朽しない一方で詰むとすればそれは小暗くない fact7: もし仮にあの一Ｄが疲れ易くないがしかし底堅いとしたらあの施工図は通さない fact8: とある物は底堅くないとすれば「疲れ易いしおまけに小暗い」ということは偽だ fact9: もしも「何かは通す一方で思しくない」ということは事実と異なるとしたらそれは底堅くない fact10: あの軽率さが小暗くないならあの一Ｄは疲れ易くないけど底堅い fact11: あの軽率さは老朽しない一方で詰む fact12: あの一Ｄは横軸だ
fact6 & fact11 -> int1: あの軽率さは小暗くない; int1 & fact10 -> int2: 「あの一Ｄは疲れ易くないけれど底堅い」ということは本当である; int2 & fact7 -> int3: あの施工図は通さない; int3 & fact1 -> int4: あの税制面は思しくないしかつそれは急拡大しない; int4 -> hypothesis;
とある物は主張出来なくて断ち切らない
fact15 -> int5: もしもあの軽率さが疲れ易くないなら主張出来ないし断ち切らない; fact14 -> int6: もし仮にあの一Ｄは底堅いということはないならば「それは疲れ易いしまた小暗い」ということは誤っている; fact13 -> int7: もし「あの一Ｄは通すけれど思しくない」ということは事実でないとすれば底堅くない; fact18 & fact16 -> int8: あの一Ｄは急拡大する;
$facts$ = fact1: 仮にあの施工図が通さないとしたらあの税制面は思しくないしおまけに急拡大しない fact2: 疲れ易くない物は主張出来ないしおまけに断ち切るということはない fact3: あの一Ｄは横軸であるとしたらそれは急拡大する fact4: もし「あの一Ｄは疲れ易くておまけに小暗い」ということは真実でないとすれば「あの軽率さは疲れ易くない」ということは確かである fact5: なんらかの物は思しくない fact6: もし仮にあの軽率さが老朽しない一方で詰むとすればそれは小暗くない fact7: もし仮にあの一Ｄが疲れ易くないがしかし底堅いとしたらあの施工図は通さない fact8: とある物は底堅くないとすれば「疲れ易いしおまけに小暗い」ということは偽だ fact9: もしも「何かは通す一方で思しくない」ということは事実と異なるとしたらそれは底堅くない fact10: あの軽率さが小暗くないならあの一Ｄは疲れ易くないけど底堅い fact11: あの軽率さは老朽しない一方で詰む fact12: あの一Ｄは横軸だ ; $hypothesis$ = 「なにかは思しくないしかつ急拡大しない」ということは成り立たない ; $proof$ = 
fact6 & fact11 -> int1: あの軽率さは小暗くない; int1 & fact10 -> int2: 「あの一Ｄは疲れ易くないけれど底堅い」ということは本当である; int2 & fact7 -> int3: あの施工図は通さない; int3 & fact1 -> int4: あの税制面は思しくないしかつそれは急拡大しない; int4 -> hypothesis; __DISPROVED__
事実1: 仮にあの施工図が通さないとしたらあの税制面は思しくないしおまけに急拡大しない
事実2: 疲れ易くない物は主張出来ないしおまけに断ち切るということはない
事実3: あの一Ｄは横軸であるとしたらそれは急拡大する
事実4: もし「あの一Ｄは疲れ易くておまけに小暗い」ということは真実でないとすれば「あの軽率さは疲れ易くない」ということは確かである
事実5: なんらかの物は思しくない
事実6: もし仮にあの軽率さが老朽しない一方で詰むとすればそれは小暗くない
事実7: もし仮にあの一Ｄが疲れ易くないがしかし底堅いとしたらあの施工図は通さない
事実8: とある物は底堅くないとすれば「疲れ易いしおまけに小暗い」ということは偽だ
事実9: もしも「何かは通す一方で思しくない」ということは事実と異なるとしたらそれは底堅くない
事実10: あの軽率さが小暗くないならあの一Ｄは疲れ易くないけど底堅い
事実11: あの軽率さは老朽しない一方で詰む
事実12: あの一Ｄは横軸だ

仮説: 「なにかは思しくないしかつ急拡大しない」ということは成り立たない
1. 事実6と事実11から、推論1: "あの軽率さは小暗くない"が導かれる
2. 推論1と事実10から、推論2: "「あの一Ｄは疲れ易くないけれど底堅い」ということは本当である"が導かれる
3. 推論2と事実7から、推論3: "あの施工図は通さない"が導かれる
4. 推論3と事実1から、推論4: "あの税制面は思しくないしかつそれは急拡大しない"が導かれる
5. 推論4から、仮説が否定される

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