あの十ＤＨは外し易くない
fact1: その通学路は火刑台でない fact2: もしもなにがしかのものはかったるくないなら「致さなくてかつそれは誤反応分析でない」ということは誤っている fact3: 「その通学路は書き抜く」ということは真実だとすると「あの十ＤＨは外し易くない」ということは成り立つということはない fact4: その通学路は穿通枝処理である fact5: あの小斜歯歯車が書き抜かないとしたらその通学路は致すしそれは書き抜く fact6: もしもこの全角が芳しくないけど故無いとするとあの小斜歯歯車は眠り込む fact7: もしもあの小斜歯歯車が致せばその通学路は銘ずる fact8: あの小斜歯歯車が銘ずるとすると誤反応分析でない fact9: もしあの小斜歯歯車が書き抜くということはないならばその通学路は致す fact10: もし仮に「何かは明け始めるし加えてかったるい」ということは偽ならそれはかったるくない fact11: 「あの小斜歯歯車はかったるい」ということは事実と異ならない fact12: 仮にあの小斜歯歯車は書き抜くかまたは銘ずるかまたは両方であるとしたら誤反応分析でない fact13: 仮にあの小斜歯歯車が銘ずるならあの十ＤＨは銘ずる fact14: その通学路は描き為さるし加えて至る fact15: もし仮になにかは書き抜くし銘ずればそれは外し易いということはない fact16: あの小斜歯歯車が外し易いならあの十ＤＨはかったるい fact17: 「その通学路は致す」ということは偽でない fact18: 「「致さなくてその上誤反応分析でない」ということは誤りな」ものがあるとするとあの十ＤＨは書き抜く fact19: 「その通学路は火刑台だということはない」ということは成り立つとすると「明け始めるししかもかったるい」ということは事実でない fact20: もしもあの小斜歯歯車が眠り込むとすればそれは銘ずる fact21: あの小斜歯歯車が誤反応分析だし更にかったるい
void -> assump1: 以下のように仮定する。あの小斜歯歯車は書き抜く; assump1 -> int1: あの小斜歯歯車は書き抜くかもしくは銘ずるかまたはどちらもだ; int1 & fact12 -> int2: あの小斜歯歯車は誤反応分析であるということはない; fact21 -> int3: あの小斜歯歯車は誤反応分析だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの小斜歯歯車は書き抜くということはない; int5 & fact5 -> int6: その通学路は致すしかつ書き抜く; int6 -> int7: その通学路は書き抜く; int7 & fact3 -> hypothesis;
あの十ＤＨは外し易くない
fact30 -> int8: もし仮にあの十ＤＨは書き抜くし加えて銘ずれば外し易くない; fact24 -> int9: もし仮にその通学路はかったるいということはないとしたら「致さなくてそれは誤反応分析だということはない」ということは成り立たない; fact22 -> int10: もし「その通学路は明け始めるしさらにかったるい」ということは成り立たないとしたらそれはかったるくない; fact26 & fact29 -> int11: 「その通学路は明け始めるしかつかったるい」ということは事実と異なる; int10 & int11 -> int12: その通学路はかったるいということはない; int9 & int12 -> int13: 「その通学路は致さないしかつ誤反応分析でない」ということは本当でない; int13 -> int14: 「「致すということはなくて加えて誤反応分析であるということはない」ということは成り立つということはない」ものはある; int14 & fact25 -> int15: あの十ＤＨは書き抜く;
$facts$ = fact1: その通学路は火刑台でない fact2: もしもなにがしかのものはかったるくないなら「致さなくてかつそれは誤反応分析でない」ということは誤っている fact3: 「その通学路は書き抜く」ということは真実だとすると「あの十ＤＨは外し易くない」ということは成り立つということはない fact4: その通学路は穿通枝処理である fact5: あの小斜歯歯車が書き抜かないとしたらその通学路は致すしそれは書き抜く fact6: もしもこの全角が芳しくないけど故無いとするとあの小斜歯歯車は眠り込む fact7: もしもあの小斜歯歯車が致せばその通学路は銘ずる fact8: あの小斜歯歯車が銘ずるとすると誤反応分析でない fact9: もしあの小斜歯歯車が書き抜くということはないならばその通学路は致す fact10: もし仮に「何かは明け始めるし加えてかったるい」ということは偽ならそれはかったるくない fact11: 「あの小斜歯歯車はかったるい」ということは事実と異ならない fact12: 仮にあの小斜歯歯車は書き抜くかまたは銘ずるかまたは両方であるとしたら誤反応分析でない fact13: 仮にあの小斜歯歯車が銘ずるならあの十ＤＨは銘ずる fact14: その通学路は描き為さるし加えて至る fact15: もし仮になにかは書き抜くし銘ずればそれは外し易いということはない fact16: あの小斜歯歯車が外し易いならあの十ＤＨはかったるい fact17: 「その通学路は致す」ということは偽でない fact18: 「「致さなくてその上誤反応分析でない」ということは誤りな」ものがあるとするとあの十ＤＨは書き抜く fact19: 「その通学路は火刑台だということはない」ということは成り立つとすると「明け始めるししかもかったるい」ということは事実でない fact20: もしもあの小斜歯歯車が眠り込むとすればそれは銘ずる fact21: あの小斜歯歯車が誤反応分析だし更にかったるい ; $hypothesis$ = あの十ＤＨは外し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの小斜歯歯車は書き抜く; assump1 -> int1: あの小斜歯歯車は書き抜くかもしくは銘ずるかまたはどちらもだ; int1 & fact12 -> int2: あの小斜歯歯車は誤反応分析であるということはない; fact21 -> int3: あの小斜歯歯車は誤反応分析だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの小斜歯歯車は書き抜くということはない; int5 & fact5 -> int6: その通学路は致すしかつ書き抜く; int6 -> int7: その通学路は書き抜く; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: その通学路は火刑台でない
事実2: もしもなにがしかのものはかったるくないなら「致さなくてかつそれは誤反応分析でない」ということは誤っている
事実3: 「その通学路は書き抜く」ということは真実だとすると「あの十ＤＨは外し易くない」ということは成り立つということはない
事実4: その通学路は穿通枝処理である
事実5: あの小斜歯歯車が書き抜かないとしたらその通学路は致すしそれは書き抜く
事実6: もしもこの全角が芳しくないけど故無いとするとあの小斜歯歯車は眠り込む
事実7: もしもあの小斜歯歯車が致せばその通学路は銘ずる
事実8: あの小斜歯歯車が銘ずるとすると誤反応分析でない
事実9: もしあの小斜歯歯車が書き抜くということはないならばその通学路は致す
事実10: もし仮に「何かは明け始めるし加えてかったるい」ということは偽ならそれはかったるくない
事実11: 「あの小斜歯歯車はかったるい」ということは事実と異ならない
事実12: 仮にあの小斜歯歯車は書き抜くかまたは銘ずるかまたは両方であるとしたら誤反応分析でない
事実13: 仮にあの小斜歯歯車が銘ずるならあの十ＤＨは銘ずる
事実14: その通学路は描き為さるし加えて至る
事実15: もし仮になにかは書き抜くし銘ずればそれは外し易いということはない
事実16: あの小斜歯歯車が外し易いならあの十ＤＨはかったるい
事実17: 「その通学路は致す」ということは偽でない
事実18: 「「致さなくてその上誤反応分析でない」ということは誤りな」ものがあるとするとあの十ＤＨは書き抜く
事実19: 「その通学路は火刑台だということはない」ということは成り立つとすると「明け始めるししかもかったるい」ということは事実でない
事実20: もしもあの小斜歯歯車が眠り込むとすればそれは銘ずる
事実21: あの小斜歯歯車が誤反応分析だし更にかったるい

仮説: あの十ＤＨは外し易くない
1. 仮定1: 以下のように仮定する。あの小斜歯歯車は書き抜く
2. 仮定1から、推論1: "あの小斜歯歯車は書き抜くかもしくは銘ずるかまたはどちらもだ"が導かれる
3. 推論1と事実12から、推論2: "あの小斜歯歯車は誤反応分析であるということはない"が導かれる
4. 事実21から、推論3: "あの小斜歯歯車は誤反応分析だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの小斜歯歯車は書き抜くということはない"が導かれる
7. 推論5と事実5から、推論6: "その通学路は致すしかつ書き抜く"が導かれる
8. 推論6から、推論7: "その通学路は書き抜く"が導かれる
9. 推論7と事実3から、仮説が否定される

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