「この特段はむくつけしし鈍い」ということは嘘だ
fact1: 挽歌はＷＴＰでない fact2: 「「まだるっこしいし調整所だ」ということは間違っている」物があるならあの千九百七十七年生まれは調整所でない fact3: 野暮ったくない物は泣き面でない fact4: もしアメリカ国内があるとしたらこの特段は野暮ったくない fact5: もしこの特段がむくつけしならそれはＷＴＰである fact6: この特段が過ごし易いならそれはむくつけし fact7: この特段は鈍い fact8: もし仮にこの特段が過ごし易くないとしたらそれは受け易いし御説教する fact9: あのラッコ皮はマンハッタン・ミックスだしさらにプロらしい fact10: もし仮にあのラッコ皮はＷＴＰだとすれば「「それは御説教しないが校内だ」ということは本当だ」ということは誤りだ fact11: もしもこの特段が御説教するとすればあのラッコ皮は御説教するということはないがしかし校内である fact12: もしあの本王令は現われ難くないならば「それはまだるっこしいしおまけに調整所である」ということは誤っている fact13: 「仮に「あの千九百七十七年生まれは過ごし易くないし校内でない」ということは誤りであるならばあのラッコ皮はむくつけしない」ということは真実である fact14: あのラッコ皮はＷＴＰだ fact15: あの本王令は現われ難くない fact16: もしも何らかの物は泣き面でないとしたら「「それが校内だしそれは過ごし易くない」ということは確かだ」ということは間違っている fact17: もしも「「校内であるが過ごし易くない」ということは成り立たない」物があるならあの部屋番号は美しいということはない fact18: 仮にとあるものはＷＴＰであるとすれば「それは過ごし易くないしその上校内でない」ということは事実と異なる fact19: もし仮にある物は挽歌であるとするとＷＴＰである fact20: この天皇制問題はアメリカ国内である fact21: 泣き面は挽歌だ fact22: あのラッコ皮がＷＴＰでないならばあの部屋番号はむくつけしし更にそれは鈍い
void -> assump1: 以下のように仮定する。この特段は過ごし易いということはない; fact8 & assump1 -> int1: この特段は受け易くてかつそれは御説教する; int1 -> int2: この特段は御説教する; int2 & fact11 -> int3: あのラッコ皮は御説教しないがそれは校内だ; fact14 & fact10 -> int4: 「あのラッコ皮は御説教しないけれど校内だ」ということは誤りだ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この特段は過ごし易い; int6 & fact6 -> int7: この特段はむくつけし; int7 & fact7 -> hypothesis;
「この特段はむくつけしししかも鈍い」ということは間違いである
fact23 -> int8: もしあの千九百七十七年生まれはＷＴＰだとすれば「「過ごし易くないしおまけに校内だということはない」ということは成り立つ」ということは真実でない; fact26 -> int9: もし仮にあの千九百七十七年生まれは挽歌であるとするとＷＴＰだ; fact24 -> int10: もし仮にあの千九百七十七年生まれは泣き面であるとするとそれは挽歌である;
$facts$ = fact1: 挽歌はＷＴＰでない fact2: 「「まだるっこしいし調整所だ」ということは間違っている」物があるならあの千九百七十七年生まれは調整所でない fact3: 野暮ったくない物は泣き面でない fact4: もしアメリカ国内があるとしたらこの特段は野暮ったくない fact5: もしこの特段がむくつけしならそれはＷＴＰである fact6: この特段が過ごし易いならそれはむくつけし fact7: この特段は鈍い fact8: もし仮にこの特段が過ごし易くないとしたらそれは受け易いし御説教する fact9: あのラッコ皮はマンハッタン・ミックスだしさらにプロらしい fact10: もし仮にあのラッコ皮はＷＴＰだとすれば「「それは御説教しないが校内だ」ということは本当だ」ということは誤りだ fact11: もしもこの特段が御説教するとすればあのラッコ皮は御説教するということはないがしかし校内である fact12: もしあの本王令は現われ難くないならば「それはまだるっこしいしおまけに調整所である」ということは誤っている fact13: 「仮に「あの千九百七十七年生まれは過ごし易くないし校内でない」ということは誤りであるならばあのラッコ皮はむくつけしない」ということは真実である fact14: あのラッコ皮はＷＴＰだ fact15: あの本王令は現われ難くない fact16: もしも何らかの物は泣き面でないとしたら「「それが校内だしそれは過ごし易くない」ということは確かだ」ということは間違っている fact17: もしも「「校内であるが過ごし易くない」ということは成り立たない」物があるならあの部屋番号は美しいということはない fact18: 仮にとあるものはＷＴＰであるとすれば「それは過ごし易くないしその上校内でない」ということは事実と異なる fact19: もし仮にある物は挽歌であるとするとＷＴＰである fact20: この天皇制問題はアメリカ国内である fact21: 泣き面は挽歌だ fact22: あのラッコ皮がＷＴＰでないならばあの部屋番号はむくつけしし更にそれは鈍い ; $hypothesis$ = 「この特段はむくつけしし鈍い」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この特段は過ごし易いということはない; fact8 & assump1 -> int1: この特段は受け易くてかつそれは御説教する; int1 -> int2: この特段は御説教する; int2 & fact11 -> int3: あのラッコ皮は御説教しないがそれは校内だ; fact14 & fact10 -> int4: 「あのラッコ皮は御説教しないけれど校内だ」ということは誤りだ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この特段は過ごし易い; int6 & fact6 -> int7: この特段はむくつけし; int7 & fact7 -> hypothesis; __DISPROVED__
事実1: 挽歌はＷＴＰでない
事実2: 「「まだるっこしいし調整所だ」ということは間違っている」物があるならあの千九百七十七年生まれは調整所でない
事実3: 野暮ったくない物は泣き面でない
事実4: もしアメリカ国内があるとしたらこの特段は野暮ったくない
事実5: もしこの特段がむくつけしならそれはＷＴＰである
事実6: この特段が過ごし易いならそれはむくつけし
事実7: この特段は鈍い
事実8: もし仮にこの特段が過ごし易くないとしたらそれは受け易いし御説教する
事実9: あのラッコ皮はマンハッタン・ミックスだしさらにプロらしい
事実10: もし仮にあのラッコ皮はＷＴＰだとすれば「「それは御説教しないが校内だ」ということは本当だ」ということは誤りだ
事実11: もしもこの特段が御説教するとすればあのラッコ皮は御説教するということはないがしかし校内である
事実12: もしあの本王令は現われ難くないならば「それはまだるっこしいしおまけに調整所である」ということは誤っている
事実13: 「仮に「あの千九百七十七年生まれは過ごし易くないし校内でない」ということは誤りであるならばあのラッコ皮はむくつけしない」ということは真実である
事実14: あのラッコ皮はＷＴＰだ
事実15: あの本王令は現われ難くない
事実16: もしも何らかの物は泣き面でないとしたら「「それが校内だしそれは過ごし易くない」ということは確かだ」ということは間違っている
事実17: もしも「「校内であるが過ごし易くない」ということは成り立たない」物があるならあの部屋番号は美しいということはない
事実18: 仮にとあるものはＷＴＰであるとすれば「それは過ごし易くないしその上校内でない」ということは事実と異なる
事実19: もし仮にある物は挽歌であるとするとＷＴＰである
事実20: この天皇制問題はアメリカ国内である
事実21: 泣き面は挽歌だ
事実22: あのラッコ皮がＷＴＰでないならばあの部屋番号はむくつけしし更にそれは鈍い

仮説: 「この特段はむくつけしし鈍い」ということは嘘だ
1. 仮定1: 以下のように仮定する。この特段は過ごし易いということはない
2. 事実8と仮定1から、推論1: "この特段は受け易くてかつそれは御説教する"が導かれる
3. 推論1から、推論2: "この特段は御説教する"が導かれる
4. 推論2と事実11から、推論3: "あのラッコ皮は御説教しないがそれは校内だ"が導かれる
5. 事実14と事実10から、推論4: "「あのラッコ皮は御説教しないけれど校内だ」ということは誤りだ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この特段は過ごし易い"が導かれる
8. 推論6と事実6から、推論7: "この特段はむくつけし"が導かれる
9. 推論7と事実7から、仮説が否定される

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