「「小賢しくないけれど長母寺である」ということは成り立たない」物はある
fact1: 「「あのショック大は小賢しいし長母寺である」ということは嘘だ」ということは間違いでない fact2: その者同志は独立価格比準法である fact3: 「あのショック大は鍋底である一方でそれは重しない」ということは成り立たない fact4: 仮にこの不均一性は長母寺だということはないとすれば「あのショック大は雄々しくて小賢しい」ということは間違いである fact5: もし仮にその者同志が独立価格比準法である一方でそれは雄々しかないなら「その通行止めは降臨するということはない」ということは成り立つ fact6: あのショック大は春らしい fact7: もしも「あのショック大は鍋底であるがしかし重しない」ということは誤っているとすればあの者同志は鍋底であるということはない fact8: この不均一性は重し fact9: もしもその者同志が鍋底でないとすればこの外眼筋は鍋底である fact10: この不均一性は骨盤形態である fact11: 小賢しい長母寺はない fact12: もしこの不均一性が雄々しいということはないならばその者同志は独立価格比準法だがそれは雄々しかない fact13: その通行止めは降臨するということはないとしたら「あのショック大は小賢しくない長母寺だ」ということは成り立つということはない fact14: もしも「「「この不均一性は雄々しかないけれど骨盤形態である」ということは成り立つ」ということは成り立つということはない」ということは嘘でないとすると春らしくない fact15: もしこの不均一性が雄々しかないとするとその者同志は独立価格比準法である fact16: この不均一性は重ししそれは春らしい fact17: もし仮にこの不均一性は骨盤形態でないとしたら春らしくない fact18: とある物は小賢しくないが長母寺である fact19: このヲサル山遺跡は判読する fact20: もしもある物が長母寺でないならばそれは春らしいしかつ降臨する fact21: 「「小賢しくて長母寺である」ということは嘘な」ものはある fact22: 仮に「その通行止めは降臨しない」ということは真実であるとすると「あのショック大は小賢しくて更に長母寺である」ということは成り立たない
void -> assump1: 以下のように仮定する。「この不均一性は雄々しかない一方で骨盤形態である」ということは成り立つということはない; fact14 & assump1 -> int1: この不均一性は春らしいということはない; fact16 -> int2: この不均一性は春らしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この不均一性は雄々しかない一方で骨盤形態である; int4 -> int5: この不均一性は雄々しかない; int5 & fact12 -> int6: その者同志は独立価格比準法だが雄々しかない; int6 & fact5 -> int7: その通行止めは降臨しない; int7 & fact13 -> int8: 「あのショック大は小賢しくないがしかし長母寺だ」ということは偽だ; int8 -> hypothesis;
この外眼筋は鍋底であるしかつ独立価格比準法だ
fact24 & fact25 -> int9: その者同志は鍋底でない; fact27 & int9 -> int10: この外眼筋は鍋底だ; fact26 -> int11: 仮にこの不均一性は長母寺でないとするとそれは春らしいし降臨する; fact23 -> int12: 「その通行止めは長母寺だししかも小賢しい」ということは成り立たない; int12 -> int13: 「「長母寺で小賢しい」ということは事実であるということはない」ものはある;
$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: 以下のように仮定する。「この不均一性は雄々しかない一方で骨盤形態である」ということは成り立つということはない; fact14 & assump1 -> int1: この不均一性は春らしいということはない; fact16 -> int2: この不均一性は春らしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この不均一性は雄々しかない一方で骨盤形態である; int4 -> int5: この不均一性は雄々しかない; int5 & fact12 -> int6: その者同志は独立価格比準法だが雄々しかない; int6 & fact5 -> int7: その通行止めは降臨しない; int7 & fact13 -> int8: 「あのショック大は小賢しくないがしかし長母寺だ」ということは偽だ; int8 -> hypothesis; __PROVED__
事実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. 事実14と仮定1から、推論1: "この不均一性は春らしいということはない"が導かれる
3. 事実16から、推論2: "この不均一性は春らしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この不均一性は雄々しかない一方で骨盤形態である"が導かれる
6. 推論4から、推論5: "この不均一性は雄々しかない"が導かれる
7. 推論5と事実12から、推論6: "その者同志は独立価格比準法だが雄々しかない"が導かれる
8. 推論6と事実5から、推論7: "その通行止めは降臨しない"が導かれる
9. 推論7と事実13から、推論8: "「あのショック大は小賢しくないがしかし長母寺だ」ということは偽だ"が導かれる
10. 推論8から、仮説が導かれる

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