この八月中旬は寂しい
fact1: もしもこの第二十章が町民でないならあの短期的蓋然性βＳＮは賠償する fact2: この第二十章は目覚ましくない fact3: もしもその十四歳以上がつべたいということはないとすればあの第二十章は目覚ましくない fact4: 「この御伺いは吹き易いがしかしいじましくない」ということは誤っている fact5: 「この御伺いは吹き易くないしかつそれはいじましくない」ということは誤りである fact6: もしもこの第二十章がいじましいならその倫理規定は目覚ましい fact7: 「仮に「なにがしかのものはつべたくないかもしくはいじましくないかあるいはどちらもだ」ということは正しくないとしたら寂しかない」ということは事実だ fact8: もしつべたい物が目覚ましくないとしたら町民でない fact9: 「この御伺いは吹き易くないがしかしいじましい」ということは成り立たない fact10: もしもこの第二十章はつべたくてそれは目覚ましいとすれば「それは町民でない」ということは誤りでない fact11: もし仮につべたい物が目覚ましいなら町民だということはない fact12: もしその十四歳以上はつべたくないとするとこの第二十章はつべたいけど目覚ましくない fact13: 「あの短期的蓋然性βＳＮは賠償する」ということは確かであるならばこの八月中旬は寂しい fact14: その十四歳以上がつべたいとしたらその倫理規定はいじましい fact15: 仮に「「この御伺いは吹き易くないしかついじましくない」ということは成り立たない」ということは偽でないとしたらその倫理規定はいじましくない fact16: 「「この八月中旬は目覚ましいということはないししかも寂しかない」ということは事実と異なるということはない」ということは成り立たない
void -> assump1: 以下のように仮定する。その十四歳以上はつべたい; fact14 & assump1 -> int1: その倫理規定はいじましい; fact5 & fact15 -> int2: その倫理規定はいじましくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その十四歳以上はつべたいということはない; int4 & fact12 -> int5: この第二十章はつべたいが目覚ましくない; fact8 -> int6: この第二十章はつべたいがしかし目覚ましいということはないならば「町民でない」ということは真実である; int5 & int6 -> int7: この第二十章は町民であるということはない; int7 & fact1 -> int8: あの短期的蓋然性βＳＮは賠償する; int8 & fact13 -> hypothesis;
この八月中旬は寂しかない
fact17 -> int9: もし仮に「この八月中旬はつべたくないかいじましくない」ということは成り立つということはないとしたら寂しいということはない;
$facts$ = fact1: もしもこの第二十章が町民でないならあの短期的蓋然性βＳＮは賠償する fact2: この第二十章は目覚ましくない fact3: もしもその十四歳以上がつべたいということはないとすればあの第二十章は目覚ましくない fact4: 「この御伺いは吹き易いがしかしいじましくない」ということは誤っている fact5: 「この御伺いは吹き易くないしかつそれはいじましくない」ということは誤りである fact6: もしもこの第二十章がいじましいならその倫理規定は目覚ましい fact7: 「仮に「なにがしかのものはつべたくないかもしくはいじましくないかあるいはどちらもだ」ということは正しくないとしたら寂しかない」ということは事実だ fact8: もしつべたい物が目覚ましくないとしたら町民でない fact9: 「この御伺いは吹き易くないがしかしいじましい」ということは成り立たない fact10: もしもこの第二十章はつべたくてそれは目覚ましいとすれば「それは町民でない」ということは誤りでない fact11: もし仮につべたい物が目覚ましいなら町民だということはない fact12: もしその十四歳以上はつべたくないとするとこの第二十章はつべたいけど目覚ましくない fact13: 「あの短期的蓋然性βＳＮは賠償する」ということは確かであるならばこの八月中旬は寂しい fact14: その十四歳以上がつべたいとしたらその倫理規定はいじましい fact15: 仮に「「この御伺いは吹き易くないしかついじましくない」ということは成り立たない」ということは偽でないとしたらその倫理規定はいじましくない fact16: 「「この八月中旬は目覚ましいということはないししかも寂しかない」ということは事実と異なるということはない」ということは成り立たない ; $hypothesis$ = この八月中旬は寂しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その十四歳以上はつべたい; fact14 & assump1 -> int1: その倫理規定はいじましい; fact5 & fact15 -> int2: その倫理規定はいじましくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その十四歳以上はつべたいということはない; int4 & fact12 -> int5: この第二十章はつべたいが目覚ましくない; fact8 -> int6: この第二十章はつべたいがしかし目覚ましいということはないならば「町民でない」ということは真実である; int5 & int6 -> int7: この第二十章は町民であるということはない; int7 & fact1 -> int8: あの短期的蓋然性βＳＮは賠償する; int8 & fact13 -> hypothesis; __PROVED__
事実1: もしもこの第二十章が町民でないならあの短期的蓋然性βＳＮは賠償する
事実2: この第二十章は目覚ましくない
事実3: もしもその十四歳以上がつべたいということはないとすればあの第二十章は目覚ましくない
事実4: 「この御伺いは吹き易いがしかしいじましくない」ということは誤っている
事実5: 「この御伺いは吹き易くないしかつそれはいじましくない」ということは誤りである
事実6: もしもこの第二十章がいじましいならその倫理規定は目覚ましい
事実7: 「仮に「なにがしかのものはつべたくないかもしくはいじましくないかあるいはどちらもだ」ということは正しくないとしたら寂しかない」ということは事実だ
事実8: もしつべたい物が目覚ましくないとしたら町民でない
事実9: 「この御伺いは吹き易くないがしかしいじましい」ということは成り立たない
事実10: もしもこの第二十章はつべたくてそれは目覚ましいとすれば「それは町民でない」ということは誤りでない
事実11: もし仮につべたい物が目覚ましいなら町民だということはない
事実12: もしその十四歳以上はつべたくないとするとこの第二十章はつべたいけど目覚ましくない
事実13: 「あの短期的蓋然性βＳＮは賠償する」ということは確かであるならばこの八月中旬は寂しい
事実14: その十四歳以上がつべたいとしたらその倫理規定はいじましい
事実15: 仮に「「この御伺いは吹き易くないしかついじましくない」ということは成り立たない」ということは偽でないとしたらその倫理規定はいじましくない
事実16: 「「この八月中旬は目覚ましいということはないししかも寂しかない」ということは事実と異なるということはない」ということは成り立たない

仮説: この八月中旬は寂しい
1. 仮定1: 以下のように仮定する。その十四歳以上はつべたい
2. 事実14と仮定1から、推論1: "その倫理規定はいじましい"が導かれる
3. 事実5と事実15から、推論2: "その倫理規定はいじましくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その十四歳以上はつべたいということはない"が導かれる
6. 推論4と事実12から、推論5: "この第二十章はつべたいが目覚ましくない"が導かれる
7. 事実8から、推論6: "この第二十章はつべたいがしかし目覚ましいということはないならば「町民でない」ということは真実である"が導かれる
8. 推論5と推論6から、推論7: "この第二十章は町民であるということはない"が導かれる
9. 推論7と事実1から、推論8: "あの短期的蓋然性βＳＮは賠償する"が導かれる
10. 推論8と事実13から、仮説が導かれる

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