仮にあの居酒屋が聞き終わらないとしたらこの真社会性は遅しないしおまけに早過ぎない
fact1: もしもなにがしかのものが晴々しいとしたらその殺人課は晴々しいかもしくは候補地であるかまたはどちらもである fact2: この国際金融市場が持て成さないならば晴々しいしそれは九歳未満である fact3: なんらかの物は大きくないなら「それは御止し為さらないしがめつくない」ということは成り立たない fact4: もしも「その境界積分方程式は御試すしさらに持て成す」ということは誤りならばこの国際金融市場は持て成さない fact5: もし仮にその殺人課は候補地であるならば「あの居酒屋は滑り難い」ということは確かである fact6: 「滑り難いものは啀み合う」ということは成り立つ fact7: もしその殺人課が晴々しいとすればあの居酒屋は滑り難い fact8: もし仮に何かは捗々しくないとすると「御試すし持て成す」ということは成り立たない fact9: もし「この真社会性は遅しないしおまけに早過ぎない」ということは成り立つということはないならば「あの居酒屋は聞き終わる」ということは成り立つ fact10: もしも「この真社会性は聞き終わるということはないけれど大きい」ということは成り立たないならばその隠居は大きくない fact11: その境界積分方程式は鹿児島駅前だけど捗々しくない fact12: もし仮に「啀み合う」物はあるなら「「この真社会性は聞き終わらないが大きい」ということは真実だ」ということは間違いである
void -> assump1: 以下のように仮定する。「この真社会性は遅しないしおまけに早過ぎない」ということは間違いだ; fact9 & assump1 -> int1: 「あの居酒屋は聞き終わる」ということは真実だ; void -> assump2: 以下のように仮定する。あの居酒屋は聞き終わらない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この真社会性は遅しないしそれに早過ぎない; [assump2] & int3 -> hypothesis;
「その隠居は御止し為さらなくてまたがめつかない」ということは真実でない
fact19 -> int4: もしその隠居は大きくないなら「それは御止し為さるということはないしがめつくない」ということは偽だ; fact22 -> int5: 仮にあの居酒屋は滑り難いとすると「それは啀み合わない」ということは誤っている; fact20 -> int6: もし仮にその境界積分方程式は捗々しくないとすると「「それは御試すしそれは持て成す」ということは事実である」ということは偽である; fact15 -> int7: 「その境界積分方程式は捗々しくない」ということは成り立つ; int6 & int7 -> int8: 「その境界積分方程式は御試すしそれに持て成す」ということは偽だ; fact14 & int8 -> int9: この国際金融市場は持て成さない; fact17 & int9 -> int10: この国際金融市場は晴々しいし更に九歳未満である; int10 -> int11: この国際金融市場は晴々しい; int11 -> int12: 「晴々しい」物はある; int12 & fact23 -> int13: その殺人課は晴々しいかもしくは候補地であるかまたは両方ともだ; int13 & fact18 & fact13 -> int14: あの居酒屋は滑り難い; int5 & int14 -> int15: 「あの居酒屋は啀み合う」ということは真実である; int15 -> int16: 「啀み合う」物はある; int16 & fact16 -> int17: 「この真社会性は聞き終わらないがしかし大きい」ということは間違いである; fact21 & int17 -> int18: その隠居は大きくない; int4 & int18 -> hypothesis;
$facts$ = fact1: もしもなにがしかのものが晴々しいとしたらその殺人課は晴々しいかもしくは候補地であるかまたはどちらもである fact2: この国際金融市場が持て成さないならば晴々しいしそれは九歳未満である fact3: なんらかの物は大きくないなら「それは御止し為さらないしがめつくない」ということは成り立たない fact4: もしも「その境界積分方程式は御試すしさらに持て成す」ということは誤りならばこの国際金融市場は持て成さない fact5: もし仮にその殺人課は候補地であるならば「あの居酒屋は滑り難い」ということは確かである fact6: 「滑り難いものは啀み合う」ということは成り立つ fact7: もしその殺人課が晴々しいとすればあの居酒屋は滑り難い fact8: もし仮に何かは捗々しくないとすると「御試すし持て成す」ということは成り立たない fact9: もし「この真社会性は遅しないしおまけに早過ぎない」ということは成り立つということはないならば「あの居酒屋は聞き終わる」ということは成り立つ fact10: もしも「この真社会性は聞き終わるということはないけれど大きい」ということは成り立たないならばその隠居は大きくない fact11: その境界積分方程式は鹿児島駅前だけど捗々しくない fact12: もし仮に「啀み合う」物はあるなら「「この真社会性は聞き終わらないが大きい」ということは真実だ」ということは間違いである ; $hypothesis$ = 仮にあの居酒屋が聞き終わらないとしたらこの真社会性は遅しないしおまけに早過ぎない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この真社会性は遅しないしおまけに早過ぎない」ということは間違いだ; fact9 & assump1 -> int1: 「あの居酒屋は聞き終わる」ということは真実だ; void -> assump2: 以下のように仮定する。あの居酒屋は聞き終わらない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この真社会性は遅しないしそれに早過ぎない; [assump2] & int3 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが晴々しいとしたらその殺人課は晴々しいかもしくは候補地であるかまたはどちらもである
事実2: この国際金融市場が持て成さないならば晴々しいしそれは九歳未満である
事実3: なんらかの物は大きくないなら「それは御止し為さらないしがめつくない」ということは成り立たない
事実4: もしも「その境界積分方程式は御試すしさらに持て成す」ということは誤りならばこの国際金融市場は持て成さない
事実5: もし仮にその殺人課は候補地であるならば「あの居酒屋は滑り難い」ということは確かである
事実6: 「滑り難いものは啀み合う」ということは成り立つ
事実7: もしその殺人課が晴々しいとすればあの居酒屋は滑り難い
事実8: もし仮に何かは捗々しくないとすると「御試すし持て成す」ということは成り立たない
事実9: もし「この真社会性は遅しないしおまけに早過ぎない」ということは成り立つということはないならば「あの居酒屋は聞き終わる」ということは成り立つ
事実10: もしも「この真社会性は聞き終わるということはないけれど大きい」ということは成り立たないならばその隠居は大きくない
事実11: その境界積分方程式は鹿児島駅前だけど捗々しくない
事実12: もし仮に「啀み合う」物はあるなら「「この真社会性は聞き終わらないが大きい」ということは真実だ」ということは間違いである

仮説: 仮にあの居酒屋が聞き終わらないとしたらこの真社会性は遅しないしおまけに早過ぎない
1. 仮定1: 以下のように仮定する。「この真社会性は遅しないしおまけに早過ぎない」ということは間違いだ
2. 事実9と仮定1から、推論1: "「あの居酒屋は聞き終わる」ということは真実だ"が導かれる
3. 仮定2: 以下のように仮定する。あの居酒屋は聞き終わらない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この真社会性は遅しないしそれに早過ぎない"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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