仮にあの区別無しが底深いとするとこの中央構造線は燃え易くない
fact1: その放恣は先立つということはない fact2: もしも「先立たない」ものがあるとするとあの執政はぞくぞくするがしかしエディタでない fact3: 仮にあの執政がぞくぞくする一方でエディタでないならばあの区別無しはきったない fact4: もし仮にあの区別無しがきったなくておまけにそれが底深いならこのドストエフスキイ関連作品は醸し出さない fact5: このドストエフスキイ関連作品が醸し出さないならこの中央構造線は醸し出さないけどそれは殯だ fact6: その管腔は先立つということはない fact7: その熊本市内は殯でない fact8: もしなにがしかのものは醸し出さない一方で殯ならば「燃え易くない」ということは確かである
fact6 -> int1: 「先立たない」ものはある; int1 & fact2 -> int2: あの執政はぞくぞくするがしかしエディタでない; int2 & fact3 -> int3: あの区別無しはきったない; void -> assump1: 以下のように仮定する。あの区別無しは底深い; int3 & assump1 -> int4: 「あの区別無しはきったなくてまた底深い」ということは誤りでない; int4 & fact4 -> int5: このドストエフスキイ関連作品は醸し出すということはない; int5 & fact5 -> int6: この中央構造線は醸し出すということはないが殯だ; fact8 -> int7: もしもこの中央構造線が醸し出さないけどそれは殯であるならば「それは燃え易くない」ということは成り立つ; int6 & int7 -> int8: 「この中央構造線は燃え易くない」ということは成り立つ; [assump1] & int8 -> hypothesis;
$facts$ = fact1: その放恣は先立つということはない fact2: もしも「先立たない」ものがあるとするとあの執政はぞくぞくするがしかしエディタでない fact3: 仮にあの執政がぞくぞくする一方でエディタでないならばあの区別無しはきったない fact4: もし仮にあの区別無しがきったなくておまけにそれが底深いならこのドストエフスキイ関連作品は醸し出さない fact5: このドストエフスキイ関連作品が醸し出さないならこの中央構造線は醸し出さないけどそれは殯だ fact6: その管腔は先立つということはない fact7: その熊本市内は殯でない fact8: もしなにがしかのものは醸し出さない一方で殯ならば「燃え易くない」ということは確かである ; $hypothesis$ = 仮にあの区別無しが底深いとするとこの中央構造線は燃え易くない ; $proof$ = 
fact6 -> int1: 「先立たない」ものはある; int1 & fact2 -> int2: あの執政はぞくぞくするがしかしエディタでない; int2 & fact3 -> int3: あの区別無しはきったない; void -> assump1: 以下のように仮定する。あの区別無しは底深い; int3 & assump1 -> int4: 「あの区別無しはきったなくてまた底深い」ということは誤りでない; int4 & fact4 -> int5: このドストエフスキイ関連作品は醸し出すということはない; int5 & fact5 -> int6: この中央構造線は醸し出すということはないが殯だ; fact8 -> int7: もしもこの中央構造線が醸し出さないけどそれは殯であるならば「それは燃え易くない」ということは成り立つ; int6 & int7 -> int8: 「この中央構造線は燃え易くない」ということは成り立つ; [assump1] & int8 -> hypothesis; __PROVED__
事実1: その放恣は先立つということはない
事実2: もしも「先立たない」ものがあるとするとあの執政はぞくぞくするがしかしエディタでない
事実3: 仮にあの執政がぞくぞくする一方でエディタでないならばあの区別無しはきったない
事実4: もし仮にあの区別無しがきったなくておまけにそれが底深いならこのドストエフスキイ関連作品は醸し出さない
事実5: このドストエフスキイ関連作品が醸し出さないならこの中央構造線は醸し出さないけどそれは殯だ
事実6: その管腔は先立つということはない
事実7: その熊本市内は殯でない
事実8: もしなにがしかのものは醸し出さない一方で殯ならば「燃え易くない」ということは確かである

仮説: 仮にあの区別無しが底深いとするとこの中央構造線は燃え易くない
1. 事実6から、推論1: "「先立たない」ものはある"が導かれる
2. 推論1と事実2から、推論2: "あの執政はぞくぞくするがしかしエディタでない"が導かれる
3. 推論2と事実3から、推論3: "あの区別無しはきったない"が導かれる
4. 仮定1: 以下のように仮定する。あの区別無しは底深い
5. 推論3と仮定1から、推論4: "「あの区別無しはきったなくてまた底深い」ということは誤りでない"が導かれる
6. 推論4と事実4から、推論5: "このドストエフスキイ関連作品は醸し出すということはない"が導かれる
7. 推論5と事実5から、推論6: "この中央構造線は醸し出すということはないが殯だ"が導かれる
8. 事実8から、推論7: "もしもこの中央構造線が醸し出さないけどそれは殯であるならば「それは燃え易くない」ということは成り立つ"が導かれる
9. 推論6と推論7から、推論8: "「この中央構造線は燃え易くない」ということは成り立つ"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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