「この夏時間は運行するしそれに重い」ということは成り立たない
fact1: この夏時間は英雄達だ fact2: 仮に「あの白癬菌は破れ難くてそれに地域イメージである」ということは真実でないならその総括は呼び集めない fact3: もしもその総括が耳鼻咽喉科でないならこの夏時間は重い fact4: もし仮になにがしかのものが呼び集めないとすれば耳鼻咽喉科でない fact5: もしあるものが英雄達でないならば耳鼻咽喉科だし呼び集める fact6: すべては英雄達で運行する fact7: もし「あの白癬菌は破れ難いということはない」ということは誤っていないとすればあの総括は呼び集めない fact8: 全ては英雄達だ fact9: 「あの白癬菌は破れ難いししかも地域イメージだ」ということは誤りだ
fact2 & fact9 -> int1: その総括は呼び集めない; fact4 -> int2: もしその総括が呼び集めないとすれば耳鼻咽喉科でない; int1 & int2 -> int3: 「その総括は耳鼻咽喉科でない」ということは確かだ; int3 & fact3 -> int4: この夏時間は重い; fact6 -> int5: この夏時間は英雄達であるし運行する; int5 -> int6: この夏時間は運行する; int4 & int6 -> hypothesis;
「この夏時間は運行するし重い」ということは成り立たない
fact10 -> int7: もし仮にあの白癬菌が英雄達でないならばそれは耳鼻咽喉科であるし呼び集める;
$facts$ = fact1: この夏時間は英雄達だ fact2: 仮に「あの白癬菌は破れ難くてそれに地域イメージである」ということは真実でないならその総括は呼び集めない fact3: もしもその総括が耳鼻咽喉科でないならこの夏時間は重い fact4: もし仮になにがしかのものが呼び集めないとすれば耳鼻咽喉科でない fact5: もしあるものが英雄達でないならば耳鼻咽喉科だし呼び集める fact6: すべては英雄達で運行する fact7: もし「あの白癬菌は破れ難いということはない」ということは誤っていないとすればあの総括は呼び集めない fact8: 全ては英雄達だ fact9: 「あの白癬菌は破れ難いししかも地域イメージだ」ということは誤りだ ; $hypothesis$ = 「この夏時間は運行するしそれに重い」ということは成り立たない ; $proof$ = 
fact2 & fact9 -> int1: その総括は呼び集めない; fact4 -> int2: もしその総括が呼び集めないとすれば耳鼻咽喉科でない; int1 & int2 -> int3: 「その総括は耳鼻咽喉科でない」ということは確かだ; int3 & fact3 -> int4: この夏時間は重い; fact6 -> int5: この夏時間は英雄達であるし運行する; int5 -> int6: この夏時間は運行する; int4 & int6 -> hypothesis; __DISPROVED__
事実1: この夏時間は英雄達だ
事実2: 仮に「あの白癬菌は破れ難くてそれに地域イメージである」ということは真実でないならその総括は呼び集めない
事実3: もしもその総括が耳鼻咽喉科でないならこの夏時間は重い
事実4: もし仮になにがしかのものが呼び集めないとすれば耳鼻咽喉科でない
事実5: もしあるものが英雄達でないならば耳鼻咽喉科だし呼び集める
事実6: すべては英雄達で運行する
事実7: もし「あの白癬菌は破れ難いということはない」ということは誤っていないとすればあの総括は呼び集めない
事実8: 全ては英雄達だ
事実9: 「あの白癬菌は破れ難いししかも地域イメージだ」ということは誤りだ

仮説: 「この夏時間は運行するしそれに重い」ということは成り立たない
1. 事実2と事実9から、推論1: "その総括は呼び集めない"が導かれる
2. 事実4から、推論2: "もしその総括が呼び集めないとすれば耳鼻咽喉科でない"が導かれる
3. 推論1と推論2から、推論3: "「その総括は耳鼻咽喉科でない」ということは確かだ"が導かれる
4. 推論3と事実3から、推論4: "この夏時間は重い"が導かれる
5. 事実6から、推論5: "この夏時間は英雄達であるし運行する"が導かれる
6. 推論5から、推論6: "この夏時間は運行する"が導かれる
7. 推論4と推論6から、仮説が否定される

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