「もし仮にあの勢力拡大がＫＲであるとしたらこの出産休暇は雪崩れ込まなくてまた第十章でない」ということは成り立たない
fact1: 「ＤＪ的主体でない」物はある fact2: 仮に「ＤＪ的主体でないし更に深し」物があるとしたらあの勢力拡大はＫＲでない fact3: 仮に「「観光客らしくない」ということは成り立つ」ものがあればこの出産休暇が雪崩れ込まないしさらに第十章であるということはない fact4: 仮にあの温床が観光客らしいならばＤＪ的主体でないしさらにそれは深し fact5: もしもＤＪ的主体が深しならあの勢力拡大はＫＲであるということはない
void -> assump2: 以下のように仮定する。「あの温床は観光客らしい」ということは本当だ; fact4 & assump2 -> int1: あの温床はＤＪ的主体でない一方で深し; int1 -> int2: ある物はＤＪ的主体でないけれど深し; int2 & fact2 -> int3: あの勢力拡大はＫＲでない; void -> assump1: 以下のように仮定する。あの勢力拡大はＫＲだ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの温床は観光客らしくない; int5 -> int6: 何らかの物は観光客らしくない; int6 & fact3 -> int7: この出産休暇は雪崩れ込まなくてまた第十章でない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 「ＤＪ的主体でない」物はある fact2: 仮に「ＤＪ的主体でないし更に深し」物があるとしたらあの勢力拡大はＫＲでない fact3: 仮に「「観光客らしくない」ということは成り立つ」ものがあればこの出産休暇が雪崩れ込まないしさらに第十章であるということはない fact4: 仮にあの温床が観光客らしいならばＤＪ的主体でないしさらにそれは深し fact5: もしもＤＪ的主体が深しならあの勢力拡大はＫＲであるということはない ; $hypothesis$ = 「もし仮にあの勢力拡大がＫＲであるとしたらこの出産休暇は雪崩れ込まなくてまた第十章でない」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの温床は観光客らしい」ということは本当だ; fact4 & assump2 -> int1: あの温床はＤＪ的主体でない一方で深し; int1 -> int2: ある物はＤＪ的主体でないけれど深し; int2 & fact2 -> int3: あの勢力拡大はＫＲでない; void -> assump1: 以下のように仮定する。あの勢力拡大はＫＲだ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの温床は観光客らしくない; int5 -> int6: 何らかの物は観光客らしくない; int6 & fact3 -> int7: この出産休暇は雪崩れ込まなくてまた第十章でない; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 「ＤＪ的主体でない」物はある
事実2: 仮に「ＤＪ的主体でないし更に深し」物があるとしたらあの勢力拡大はＫＲでない
事実3: 仮に「「観光客らしくない」ということは成り立つ」ものがあればこの出産休暇が雪崩れ込まないしさらに第十章であるということはない
事実4: 仮にあの温床が観光客らしいならばＤＪ的主体でないしさらにそれは深し
事実5: もしもＤＪ的主体が深しならあの勢力拡大はＫＲであるということはない

仮説: 「もし仮にあの勢力拡大がＫＲであるとしたらこの出産休暇は雪崩れ込まなくてまた第十章でない」ということは成り立たない
1. 仮定2: 以下のように仮定する。「あの温床は観光客らしい」ということは本当だ
2. 事実4と仮定2から、推論1: "あの温床はＤＪ的主体でない一方で深し"が導かれる
3. 推論1から、推論2: "ある物はＤＪ的主体でないけれど深し"が導かれる
4. 推論2と事実2から、推論3: "あの勢力拡大はＫＲでない"が導かれる
5. 仮定1: 以下のように仮定する。あの勢力拡大はＫＲだ
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの温床は観光客らしくない"が導かれる
8. 推論5から、推論6: "何らかの物は観光客らしくない"が導かれる
9. 推論6と事実3から、推論7: "この出産休暇は雪崩れ込まなくてまた第十章でない"が導かれる
10. [仮定1]と推論7から、仮説が否定される

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