「その口伝えは築き難いが学部でない」ということは成り立たない
fact1: 「その埼玉スタジアムは剃髪しない」ということは真実だ fact2: もし「ある物は狂おしくて剃髪する」ということは間違っているとすればそれは帰朝者でない fact3: 「灰色っぽいものは築き難くない」ということは成り立つ fact4: もし仮にその引き延ばしタイマーが作業能率でないならばその声門開大筋は築き難くない fact5: もし「その引き延ばしタイマーは狂おしくない」ということは確かであるとすると帰朝者でない fact6: もし「その声門開大筋は信託行為であるし雑貨である」ということは成り立つということはないならばあの埼玉スタジアムは帰朝者でない fact7: 「狂おしくない物は帰朝者でない」ということは成り立つ fact8: もしなんらかのものは灰色っぽいなら「それは築き難い一方で学部でない」ということは成り立たない fact9: なにがしかのものが帰朝者でないならそれは作業能率でないかもしくはそれは雑貨である fact10: もしその引き延ばしタイマーが作業能率でないか雑貨ならばその声門開大筋は築き難いということはない fact11: もしもその声門開大筋が築き難くないとするとその口伝えは学部でない fact12: その引き延ばしタイマーは作業能率であるかまたは雑貨であるかもしくはどちらもである fact13: もしその埼玉スタジアムが灰色っぽい一方でそれが作業能率でないとしたらその引き延ばしタイマーは灰色っぽい fact14: その口伝えは学部でない fact15: その埼玉スタジアムは灰色っぽいということはない fact16: もしなにがしかのものが帰朝者でないとしたら作業能率であるかもしくは雑貨であるかまたはどちらもだ fact17: もしその声門開大筋が築き難いということはないとしたらその口伝えは築き難いけど学部でない fact18: もしその埼玉スタジアムは灰色っぽくないなら「「その引き延ばしタイマーは狂おしいし加えて剃髪する」ということは嘘である」ということは成り立つ fact19: その口伝えは作業能率でない fact20: もし仮にその引き延ばしタイマーが帰朝者でないならそれは作業能率であるかまたは雑貨だ
fact18 & fact15 -> int1: 「その引き延ばしタイマーは狂おしくてそれは剃髪する」ということは誤っている; fact2 -> int2: 「その引き延ばしタイマーは狂おしくて剃髪する」ということは事実と異なれば帰朝者でない; int1 & int2 -> int3: 「その引き延ばしタイマーは帰朝者でない」ということは正しい; fact9 -> int4: 仮にその引き延ばしタイマーは帰朝者でないとしたら作業能率であるということはないかもしくは雑貨であるか両方ともである; int3 & int4 -> int5: その引き延ばしタイマーは作業能率でないかもしくはそれは雑貨だ; int5 & fact10 -> int6: その声門開大筋は築き難くない; int6 & fact17 -> hypothesis;
「その引き延ばしタイマーは築き難くない」ということは確かである
fact22 -> int7: 「もしもその引き延ばしタイマーが灰色っぽいとするとその引き延ばしタイマーは築き難くない」ということは成り立つ;
$facts$ = fact1: 「その埼玉スタジアムは剃髪しない」ということは真実だ fact2: もし「ある物は狂おしくて剃髪する」ということは間違っているとすればそれは帰朝者でない fact3: 「灰色っぽいものは築き難くない」ということは成り立つ fact4: もし仮にその引き延ばしタイマーが作業能率でないならばその声門開大筋は築き難くない fact5: もし「その引き延ばしタイマーは狂おしくない」ということは確かであるとすると帰朝者でない fact6: もし「その声門開大筋は信託行為であるし雑貨である」ということは成り立つということはないならばあの埼玉スタジアムは帰朝者でない fact7: 「狂おしくない物は帰朝者でない」ということは成り立つ fact8: もしなんらかのものは灰色っぽいなら「それは築き難い一方で学部でない」ということは成り立たない fact9: なにがしかのものが帰朝者でないならそれは作業能率でないかもしくはそれは雑貨である fact10: もしその引き延ばしタイマーが作業能率でないか雑貨ならばその声門開大筋は築き難いということはない fact11: もしもその声門開大筋が築き難くないとするとその口伝えは学部でない fact12: その引き延ばしタイマーは作業能率であるかまたは雑貨であるかもしくはどちらもである fact13: もしその埼玉スタジアムが灰色っぽい一方でそれが作業能率でないとしたらその引き延ばしタイマーは灰色っぽい fact14: その口伝えは学部でない fact15: その埼玉スタジアムは灰色っぽいということはない fact16: もしなにがしかのものが帰朝者でないとしたら作業能率であるかもしくは雑貨であるかまたはどちらもだ fact17: もしその声門開大筋が築き難いということはないとしたらその口伝えは築き難いけど学部でない fact18: もしその埼玉スタジアムは灰色っぽくないなら「「その引き延ばしタイマーは狂おしいし加えて剃髪する」ということは嘘である」ということは成り立つ fact19: その口伝えは作業能率でない fact20: もし仮にその引き延ばしタイマーが帰朝者でないならそれは作業能率であるかまたは雑貨だ ; $hypothesis$ = 「その口伝えは築き難いが学部でない」ということは成り立たない ; $proof$ = 
fact18 & fact15 -> int1: 「その引き延ばしタイマーは狂おしくてそれは剃髪する」ということは誤っている; fact2 -> int2: 「その引き延ばしタイマーは狂おしくて剃髪する」ということは事実と異なれば帰朝者でない; int1 & int2 -> int3: 「その引き延ばしタイマーは帰朝者でない」ということは正しい; fact9 -> int4: 仮にその引き延ばしタイマーは帰朝者でないとしたら作業能率であるということはないかもしくは雑貨であるか両方ともである; int3 & int4 -> int5: その引き延ばしタイマーは作業能率でないかもしくはそれは雑貨だ; int5 & fact10 -> int6: その声門開大筋は築き難くない; int6 & fact17 -> hypothesis; __DISPROVED__
事実1: 「その埼玉スタジアムは剃髪しない」ということは真実だ
事実2: もし「ある物は狂おしくて剃髪する」ということは間違っているとすればそれは帰朝者でない
事実3: 「灰色っぽいものは築き難くない」ということは成り立つ
事実4: もし仮にその引き延ばしタイマーが作業能率でないならばその声門開大筋は築き難くない
事実5: もし「その引き延ばしタイマーは狂おしくない」ということは確かであるとすると帰朝者でない
事実6: もし「その声門開大筋は信託行為であるし雑貨である」ということは成り立つということはないならばあの埼玉スタジアムは帰朝者でない
事実7: 「狂おしくない物は帰朝者でない」ということは成り立つ
事実8: もしなんらかのものは灰色っぽいなら「それは築き難い一方で学部でない」ということは成り立たない
事実9: なにがしかのものが帰朝者でないならそれは作業能率でないかもしくはそれは雑貨である
事実10: もしその引き延ばしタイマーが作業能率でないか雑貨ならばその声門開大筋は築き難いということはない
事実11: もしもその声門開大筋が築き難くないとするとその口伝えは学部でない
事実12: その引き延ばしタイマーは作業能率であるかまたは雑貨であるかもしくはどちらもである
事実13: もしその埼玉スタジアムが灰色っぽい一方でそれが作業能率でないとしたらその引き延ばしタイマーは灰色っぽい
事実14: その口伝えは学部でない
事実15: その埼玉スタジアムは灰色っぽいということはない
事実16: もしなにがしかのものが帰朝者でないとしたら作業能率であるかもしくは雑貨であるかまたはどちらもだ
事実17: もしその声門開大筋が築き難いということはないとしたらその口伝えは築き難いけど学部でない
事実18: もしその埼玉スタジアムは灰色っぽくないなら「「その引き延ばしタイマーは狂おしいし加えて剃髪する」ということは嘘である」ということは成り立つ
事実19: その口伝えは作業能率でない
事実20: もし仮にその引き延ばしタイマーが帰朝者でないならそれは作業能率であるかまたは雑貨だ

仮説: 「その口伝えは築き難いが学部でない」ということは成り立たない
1. 事実18と事実15から、推論1: "「その引き延ばしタイマーは狂おしくてそれは剃髪する」ということは誤っている"が導かれる
2. 事実2から、推論2: "「その引き延ばしタイマーは狂おしくて剃髪する」ということは事実と異なれば帰朝者でない"が導かれる
3. 推論1と推論2から、推論3: "「その引き延ばしタイマーは帰朝者でない」ということは正しい"が導かれる
4. 事実9から、推論4: "仮にその引き延ばしタイマーは帰朝者でないとしたら作業能率であるということはないかもしくは雑貨であるか両方ともである"が導かれる
5. 推論3と推論4から、推論5: "その引き延ばしタイマーは作業能率でないかもしくはそれは雑貨だ"が導かれる
6. 推論5と事実10から、推論6: "その声門開大筋は築き難くない"が導かれる
7. 推論6と事実17から、仮説が否定される

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