その児童生徒数は伝え難い
fact1: 「「揺れ始めるけれど賄わない」ということは成り立たない」物はある fact2: 仮にその児童生徒数は買い続けるし更に伝え難いとすればそれは風呂場でない fact3: もし仮にこの狭窄が揺れ始めないならばこの新方向はごつかないしまた風呂場でない fact4: もしも何らかのものが風呂場でないとしたら伝え難いかそれは買い続けるかもしくはどちらもだ fact5: もしもある物は思わしくないならば「ごつかないけど揺れ始める」ということは成り立たない fact6: 全ては買い続ける fact7: もしも「「揺れ始めるし賄わない」ということは成り立たない」物があるとすればこの狭窄は揺れ始めない fact8: 仮に「なにがしかのものは誘発し易くないがしかし賄う」ということは間違っていればそれは思わしくない fact9: もしその児童生徒数は風呂場でないならば「この新方向はごつかないしかつ風呂場だということはない」ということは事実と異なる fact10: 「この狭窄は誘発し易くないがしかしそれは賄う」ということは誤りだ
fact6 -> int1: その児童生徒数は買い続ける; void -> assump1: 以下のように仮定する。その児童生徒数は伝え難い; int1 & assump1 -> int2: その児童生徒数は買い続けるしそれは伝え難い; int2 & fact2 -> int3: その児童生徒数は風呂場でない; int3 & fact9 -> int4: 「この新方向はごつかないしその上風呂場でない」ということは成り立たない; fact7 & fact1 -> int5: この狭窄は揺れ始めない; int5 & fact3 -> int6: この新方向はごついということはなくて加えて風呂場であるということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「その児童生徒数は伝え難い」ということは正しい
fact12 -> int8: 仮にこの新方向が風呂場でないとすると伝え難いか買い続けるかまたはどちらもだ; fact13 -> int9: 仮にこの狭窄は思わしくないならば「それはごつかないが揺れ始める」ということは成り立たない; fact14 -> int10: もし仮に「この狭窄は誘発し易くないがしかしそれは賄う」ということは間違っていれば思わしくない; int10 & fact11 -> int11: この狭窄は思わしくない; int9 & int11 -> int12: 「この狭窄はごつかない一方で揺れ始める」ということは誤っている; int12 -> int13: 「「ごつかないしさらに揺れ始める」ということは成り立たない」物はある;
$facts$ = fact1: 「「揺れ始めるけれど賄わない」ということは成り立たない」物はある fact2: 仮にその児童生徒数は買い続けるし更に伝え難いとすればそれは風呂場でない fact3: もし仮にこの狭窄が揺れ始めないならばこの新方向はごつかないしまた風呂場でない fact4: もしも何らかのものが風呂場でないとしたら伝え難いかそれは買い続けるかもしくはどちらもだ fact5: もしもある物は思わしくないならば「ごつかないけど揺れ始める」ということは成り立たない fact6: 全ては買い続ける fact7: もしも「「揺れ始めるし賄わない」ということは成り立たない」物があるとすればこの狭窄は揺れ始めない fact8: 仮に「なにがしかのものは誘発し易くないがしかし賄う」ということは間違っていればそれは思わしくない fact9: もしその児童生徒数は風呂場でないならば「この新方向はごつかないしかつ風呂場だということはない」ということは事実と異なる fact10: 「この狭窄は誘発し易くないがしかしそれは賄う」ということは誤りだ ; $hypothesis$ = その児童生徒数は伝え難い ; $proof$ = 
fact6 -> int1: その児童生徒数は買い続ける; void -> assump1: 以下のように仮定する。その児童生徒数は伝え難い; int1 & assump1 -> int2: その児童生徒数は買い続けるしそれは伝え難い; int2 & fact2 -> int3: その児童生徒数は風呂場でない; int3 & fact9 -> int4: 「この新方向はごつかないしその上風呂場でない」ということは成り立たない; fact7 & fact1 -> int5: この狭窄は揺れ始めない; int5 & fact3 -> int6: この新方向はごついということはなくて加えて風呂場であるということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 「「揺れ始めるけれど賄わない」ということは成り立たない」物はある
事実2: 仮にその児童生徒数は買い続けるし更に伝え難いとすればそれは風呂場でない
事実3: もし仮にこの狭窄が揺れ始めないならばこの新方向はごつかないしまた風呂場でない
事実4: もしも何らかのものが風呂場でないとしたら伝え難いかそれは買い続けるかもしくはどちらもだ
事実5: もしもある物は思わしくないならば「ごつかないけど揺れ始める」ということは成り立たない
事実6: 全ては買い続ける
事実7: もしも「「揺れ始めるし賄わない」ということは成り立たない」物があるとすればこの狭窄は揺れ始めない
事実8: 仮に「なにがしかのものは誘発し易くないがしかし賄う」ということは間違っていればそれは思わしくない
事実9: もしその児童生徒数は風呂場でないならば「この新方向はごつかないしかつ風呂場だということはない」ということは事実と異なる
事実10: 「この狭窄は誘発し易くないがしかしそれは賄う」ということは誤りだ

仮説: その児童生徒数は伝え難い
1. 事実6から、推論1: "その児童生徒数は買い続ける"が導かれる
2. 仮定1: 以下のように仮定する。その児童生徒数は伝え難い
3. 推論1と仮定1から、推論2: "その児童生徒数は買い続けるしそれは伝え難い"が導かれる
4. 推論2と事実2から、推論3: "その児童生徒数は風呂場でない"が導かれる
5. 推論3と事実9から、推論4: "「この新方向はごつかないしその上風呂場でない」ということは成り立たない"が導かれる
6. 事実7と事実1から、推論5: "この狭窄は揺れ始めない"が導かれる
7. 推論5と事実3から、推論6: "この新方向はごついということはなくて加えて風呂場であるということはない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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