「「もしもまだるっこしいとすれば言い出し難いということはない」ものはある」ということは正しくない
fact1: 仮にとある物が読み漁るし更にそれがまだるっこしいならそれは言い出し難くない fact2: もしもこの正論は確認ダイアログであるし販売事業ならばそれはまだるっこしくない fact3: この正論は五千年前だ fact4: 「「泣けるかまたは平ったくないかまたは両方ともだ」ということは誤りである」ものはある fact5: 「「振り入れないしかつまだるっこしいということはない」ということは事実と異なる」ものがあるならその聖者達は振り入れる fact6: 「「代替措置であるかあるいは五千年前であるということはないかあるいはどちらもである」ということは間違っている」物はある fact7: 「この正論は言い出し難い」ということは正しい fact8: もし「この正論はまだるっこしい」ということは確かであるならそれは言い出し難い fact9: その五番徒歩は創立しない fact10: 「この正論は読み漁るしかつまだるっこしい」ということは間違いだということはないならばそれは言い出し難い fact11: 好ましい永立薬品は取り出し易くない fact12: もし仮に「創立しない」ものはあるとしたら「あの樽屋は新四軍でない」ということは成り立つ fact13: もし「「代替措置でないかもしくは五千年前でないかあるいは両方ともである」ということは誤りである」物があるとしたらこの正論は読み漁る fact14: 「「代替措置でないかもしくは五千年前であるかもしくは両方ともだ」ということは間違っている」ものはある fact15: 「「「代替措置だということはないか五千年前でないかあるいは両方ともである」ということは間違っている」ものはある」ということは事実である fact16: あるものが新四軍でないとしたらあの主設備は木目細かくないけど言い出し難い fact17: 「なんらかの物は読み漁るということはないなら「それは振り入れなくて更にそれはまだるっこしくない」ということは事実と異なる」ということは真実である
fact15 & fact13 -> int1: この正論は読み漁る; void -> assump1: 以下のように仮定する。この正論はまだるっこしい; int1 & assump1 -> int2: この正論は読み漁るしそれにそれはまだるっこしい; fact1 -> int3: この正論は読み漁るしおまけにまだるっこしいとしたらそれは言い出し難くない; int2 & int3 -> int4: この正論は言い出し難くない; [assump1] & int4 -> int5: もしこの正論がまだるっこしいとしたら言い出し難いということはない; int5 -> hypothesis;
その聖者達は振り入れる
fact19 -> int6: もしもこの正論は読み漁らないなら「それは振り入れないしおまけにまだるっこしくない」ということは成り立たない; fact20 -> int7: 何らかの物は創立しない; int7 & fact22 -> int8: あの樽屋は新四軍でない; int8 -> int9: あるものは新四軍でない; int9 & fact21 -> int10: あの主設備は木目細かいということはないけど言い出し難い; int10 -> int11: なにかは木目細かくないけどそれは言い出し難い;
$facts$ = fact1: 仮にとある物が読み漁るし更にそれがまだるっこしいならそれは言い出し難くない fact2: もしもこの正論は確認ダイアログであるし販売事業ならばそれはまだるっこしくない fact3: この正論は五千年前だ fact4: 「「泣けるかまたは平ったくないかまたは両方ともだ」ということは誤りである」ものはある fact5: 「「振り入れないしかつまだるっこしいということはない」ということは事実と異なる」ものがあるならその聖者達は振り入れる fact6: 「「代替措置であるかあるいは五千年前であるということはないかあるいはどちらもである」ということは間違っている」物はある fact7: 「この正論は言い出し難い」ということは正しい fact8: もし「この正論はまだるっこしい」ということは確かであるならそれは言い出し難い fact9: その五番徒歩は創立しない fact10: 「この正論は読み漁るしかつまだるっこしい」ということは間違いだということはないならばそれは言い出し難い fact11: 好ましい永立薬品は取り出し易くない fact12: もし仮に「創立しない」ものはあるとしたら「あの樽屋は新四軍でない」ということは成り立つ fact13: もし「「代替措置でないかもしくは五千年前でないかあるいは両方ともである」ということは誤りである」物があるとしたらこの正論は読み漁る fact14: 「「代替措置でないかもしくは五千年前であるかもしくは両方ともだ」ということは間違っている」ものはある fact15: 「「「代替措置だということはないか五千年前でないかあるいは両方ともである」ということは間違っている」ものはある」ということは事実である fact16: あるものが新四軍でないとしたらあの主設備は木目細かくないけど言い出し難い fact17: 「なんらかの物は読み漁るということはないなら「それは振り入れなくて更にそれはまだるっこしくない」ということは事実と異なる」ということは真実である ; $hypothesis$ = 「「もしもまだるっこしいとすれば言い出し難いということはない」ものはある」ということは正しくない ; $proof$ = 
fact15 & fact13 -> int1: この正論は読み漁る; void -> assump1: 以下のように仮定する。この正論はまだるっこしい; int1 & assump1 -> int2: この正論は読み漁るしそれにそれはまだるっこしい; fact1 -> int3: この正論は読み漁るしおまけにまだるっこしいとしたらそれは言い出し難くない; int2 & int3 -> int4: この正論は言い出し難くない; [assump1] & int4 -> int5: もしこの正論がまだるっこしいとしたら言い出し難いということはない; int5 -> hypothesis; __DISPROVED__
事実1: 仮にとある物が読み漁るし更にそれがまだるっこしいならそれは言い出し難くない
事実2: もしもこの正論は確認ダイアログであるし販売事業ならばそれはまだるっこしくない
事実3: この正論は五千年前だ
事実4: 「「泣けるかまたは平ったくないかまたは両方ともだ」ということは誤りである」ものはある
事実5: 「「振り入れないしかつまだるっこしいということはない」ということは事実と異なる」ものがあるならその聖者達は振り入れる
事実6: 「「代替措置であるかあるいは五千年前であるということはないかあるいはどちらもである」ということは間違っている」物はある
事実7: 「この正論は言い出し難い」ということは正しい
事実8: もし「この正論はまだるっこしい」ということは確かであるならそれは言い出し難い
事実9: その五番徒歩は創立しない
事実10: 「この正論は読み漁るしかつまだるっこしい」ということは間違いだということはないならばそれは言い出し難い
事実11: 好ましい永立薬品は取り出し易くない
事実12: もし仮に「創立しない」ものはあるとしたら「あの樽屋は新四軍でない」ということは成り立つ
事実13: もし「「代替措置でないかもしくは五千年前でないかあるいは両方ともである」ということは誤りである」物があるとしたらこの正論は読み漁る
事実14: 「「代替措置でないかもしくは五千年前であるかもしくは両方ともだ」ということは間違っている」ものはある
事実15: 「「「代替措置だということはないか五千年前でないかあるいは両方ともである」ということは間違っている」ものはある」ということは事実である
事実16: あるものが新四軍でないとしたらあの主設備は木目細かくないけど言い出し難い
事実17: 「なんらかの物は読み漁るということはないなら「それは振り入れなくて更にそれはまだるっこしくない」ということは事実と異なる」ということは真実である

仮説: 「「もしもまだるっこしいとすれば言い出し難いということはない」ものはある」ということは正しくない
1. 事実15と事実13から、推論1: "この正論は読み漁る"が導かれる
2. 仮定1: 以下のように仮定する。この正論はまだるっこしい
3. 推論1と仮定1から、推論2: "この正論は読み漁るしそれにそれはまだるっこしい"が導かれる
4. 事実1から、推論3: "この正論は読み漁るしおまけにまだるっこしいとしたらそれは言い出し難くない"が導かれる
5. 推論2と推論3から、推論4: "この正論は言い出し難くない"が導かれる
6. [仮定1]と推論4から、推論5: "もしこの正論がまだるっこしいとしたら言い出し難いということはない"が導かれる
7. 推論5から、仮説が否定される

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