その二十六日判決は裏漉しであるかまたはあざといかどちらもだ
fact1: 「この一年近くは第四十一議会報告書だ」ということは真実である fact2: 「批評会な」物はあるとすれば「このオーバーコートはあざといしおまけに裏漉しだ」ということは本当でない fact3: もしも「「このオーバーコートは解決出来るということはなくてしかも胸部でない」ということは成り立つ」ということは成り立たないとすると胸部だ fact4: 「「あざといけど口喧しくない」ということは成り立たない」物はある fact5: もし「「批評会であるしその上口喧しくない」ということは誤っている」ものがあるならあの大豆畑は胸部だ fact6: 「「口喧しくてあざといということはない」ということは事実と異なる」ものはある fact7: もしもある物は口喧しいとすると「それは黄昏るしそれは批評会であるということはない」ということは誤りである fact8: このオーバーコートはあざとい fact9: その二十六日判決は胸部である fact10: もし仮にあるものは口喧しいとしたら「その二十六日判決が裏漉しだし更に批評会だ」ということは正しくない fact11: 「「口喧しい」ということは成り立つ」ものがあるとしたらこのオーバーコートはあざとい fact12: 「「黄昏る」ということは確かである」ものはある fact13: 「「「裏漉しであるしあざとい」ということは確かだ」ということは嘘である」物はある fact14: もしこのオーバーコートは黄昏るないとすると「その二十六日判決は裏漉しであるかあるいはあざといかどちらもだ」ということは本当でない fact15: 「裏漉しである」ものはあるなら「このオーバーコートは口喧しいしまたあざとい」ということは成り立たない fact16: もし仮に「このオーバーコートは胸部である」ということは事実であるとしたらあの大豆畑は口喧しい fact17: もしもあの大豆畑が胸部であるとするとその二十六日判決はあざとい fact18: 「この基礎施工不良は黄色い一方でエコマテリアル設計でない」ということは偽である fact19: 「あの大豆畑は胸部だしあざとい」ということは成り立たない fact20: その温泉保養地は胸部だ fact21: なにがしかの物は入手し易いが機械革命でない fact22: 「「「裏漉しであるし批評会でない」ということは確かだ」ということは偽である」物はある fact23: もし「黄昏る」物はあるなら「このオーバーコートは批評会であるが口喧しくない」ということは本当だということはない fact24: もし仮に裏漉しがあるならばあの二十六日判決はあざとい
fact12 & fact23 -> int1: 「このオーバーコートは批評会であるがそれは口喧しくない」ということは誤りである; int1 -> int2: 「「批評会であるし口喧しくない」ということは偽である」ものはある; int2 & fact5 -> int3: あの大豆畑は胸部である; int3 & fact17 -> int4: その二十六日判決はあざとい; int4 -> hypothesis;
「その二十六日判決は裏漉しであるかそれはあざといか両方だ」ということは嘘である
fact25 -> int5: もし仮にこのオーバーコートは口喧しいとすると「「それは黄昏るけど批評会でない」ということは成り立つ」ということは嘘だ;
$facts$ = fact1: 「この一年近くは第四十一議会報告書だ」ということは真実である fact2: 「批評会な」物はあるとすれば「このオーバーコートはあざといしおまけに裏漉しだ」ということは本当でない fact3: もしも「「このオーバーコートは解決出来るということはなくてしかも胸部でない」ということは成り立つ」ということは成り立たないとすると胸部だ fact4: 「「あざといけど口喧しくない」ということは成り立たない」物はある fact5: もし「「批評会であるしその上口喧しくない」ということは誤っている」ものがあるならあの大豆畑は胸部だ fact6: 「「口喧しくてあざといということはない」ということは事実と異なる」ものはある fact7: もしもある物は口喧しいとすると「それは黄昏るしそれは批評会であるということはない」ということは誤りである fact8: このオーバーコートはあざとい fact9: その二十六日判決は胸部である fact10: もし仮にあるものは口喧しいとしたら「その二十六日判決が裏漉しだし更に批評会だ」ということは正しくない fact11: 「「口喧しい」ということは成り立つ」ものがあるとしたらこのオーバーコートはあざとい fact12: 「「黄昏る」ということは確かである」ものはある fact13: 「「「裏漉しであるしあざとい」ということは確かだ」ということは嘘である」物はある fact14: もしこのオーバーコートは黄昏るないとすると「その二十六日判決は裏漉しであるかあるいはあざといかどちらもだ」ということは本当でない fact15: 「裏漉しである」ものはあるなら「このオーバーコートは口喧しいしまたあざとい」ということは成り立たない fact16: もし仮に「このオーバーコートは胸部である」ということは事実であるとしたらあの大豆畑は口喧しい fact17: もしもあの大豆畑が胸部であるとするとその二十六日判決はあざとい fact18: 「この基礎施工不良は黄色い一方でエコマテリアル設計でない」ということは偽である fact19: 「あの大豆畑は胸部だしあざとい」ということは成り立たない fact20: その温泉保養地は胸部だ fact21: なにがしかの物は入手し易いが機械革命でない fact22: 「「「裏漉しであるし批評会でない」ということは確かだ」ということは偽である」物はある fact23: もし「黄昏る」物はあるなら「このオーバーコートは批評会であるが口喧しくない」ということは本当だということはない fact24: もし仮に裏漉しがあるならばあの二十六日判決はあざとい ; $hypothesis$ = その二十六日判決は裏漉しであるかまたはあざといかどちらもだ ; $proof$ = 
fact12 & fact23 -> int1: 「このオーバーコートは批評会であるがそれは口喧しくない」ということは誤りである; int1 -> int2: 「「批評会であるし口喧しくない」ということは偽である」ものはある; int2 & fact5 -> int3: あの大豆畑は胸部である; int3 & fact17 -> int4: その二十六日判決はあざとい; int4 -> hypothesis; __PROVED__
事実1: 「この一年近くは第四十一議会報告書だ」ということは真実である
事実2: 「批評会な」物はあるとすれば「このオーバーコートはあざといしおまけに裏漉しだ」ということは本当でない
事実3: もしも「「このオーバーコートは解決出来るということはなくてしかも胸部でない」ということは成り立つ」ということは成り立たないとすると胸部だ
事実4: 「「あざといけど口喧しくない」ということは成り立たない」物はある
事実5: もし「「批評会であるしその上口喧しくない」ということは誤っている」ものがあるならあの大豆畑は胸部だ
事実6: 「「口喧しくてあざといということはない」ということは事実と異なる」ものはある
事実7: もしもある物は口喧しいとすると「それは黄昏るしそれは批評会であるということはない」ということは誤りである
事実8: このオーバーコートはあざとい
事実9: その二十六日判決は胸部である
事実10: もし仮にあるものは口喧しいとしたら「その二十六日判決が裏漉しだし更に批評会だ」ということは正しくない
事実11: 「「口喧しい」ということは成り立つ」ものがあるとしたらこのオーバーコートはあざとい
事実12: 「「黄昏る」ということは確かである」ものはある
事実13: 「「「裏漉しであるしあざとい」ということは確かだ」ということは嘘である」物はある
事実14: もしこのオーバーコートは黄昏るないとすると「その二十六日判決は裏漉しであるかあるいはあざといかどちらもだ」ということは本当でない
事実15: 「裏漉しである」ものはあるなら「このオーバーコートは口喧しいしまたあざとい」ということは成り立たない
事実16: もし仮に「このオーバーコートは胸部である」ということは事実であるとしたらあの大豆畑は口喧しい
事実17: もしもあの大豆畑が胸部であるとするとその二十六日判決はあざとい
事実18: 「この基礎施工不良は黄色い一方でエコマテリアル設計でない」ということは偽である
事実19: 「あの大豆畑は胸部だしあざとい」ということは成り立たない
事実20: その温泉保養地は胸部だ
事実21: なにがしかの物は入手し易いが機械革命でない
事実22: 「「「裏漉しであるし批評会でない」ということは確かだ」ということは偽である」物はある
事実23: もし「黄昏る」物はあるなら「このオーバーコートは批評会であるが口喧しくない」ということは本当だということはない
事実24: もし仮に裏漉しがあるならばあの二十六日判決はあざとい

仮説: その二十六日判決は裏漉しであるかまたはあざといかどちらもだ
1. 事実12と事実23から、推論1: "「このオーバーコートは批評会であるがそれは口喧しくない」ということは誤りである"が導かれる
2. 推論1から、推論2: "「「批評会であるし口喧しくない」ということは偽である」ものはある"が導かれる
3. 推論2と事実5から、推論3: "あの大豆畑は胸部である"が導かれる
4. 推論3と事実17から、推論4: "その二十六日判決はあざとい"が導かれる
5. 推論4から、仮説が導かれる

よって、仮説が証明されました。