その成立史は御了承下さる
fact1: もし仮にあの慢心は存しないなら「その成立史は送稿するし渡せる」ということは間違いだ fact2: この手刀は渡せる fact3: あの慢心は歓喜する fact4: もし仮に「とある物は送稿するしその上渡せる」ということは誤っているなら「それは先学でない」ということは正しい fact5: もし仮に何かは先学でないとすると「歓喜するということはないがしかし御了承下さる」ということは成り立たない fact6: もしこの手刀は掛け易いということはないなら「あの慢心はアクセスし易くてそれに藁工品だ」ということは成り立たない fact7: この手刀は送稿する fact8: もし仮になにがしかのものが染めないとすればあのＤＦは世の中全体でない fact9: もし仮になんらかの物が歓喜するということはないなら御了承下さらない fact10: 「その特定医療法人は存するということはないがしかし歓喜する」ということは嘘である fact11: あのＤＦは教科目でないとしたら「その特定医療法人は薬臭くないかそれは保健維持機構でない」ということは間違いだ fact12: あの人員削減は歓喜する fact13: もしもあるものは世の中全体でないならば教科目であるということはなくてまた美味しかない fact14: 仮にあの慢心が歓喜するしさらに先学であるとするとこの手刀は渡せない fact15: あの慢心は先学でないとしたら「その特定医療法人は存するしまた送稿する」ということは間違っている fact16: あの慢心は渡せる fact17: もしその特定医療法人が御了承下さるとするとその成立史は送稿する fact18: もしあの慢心が先学だけど歓喜しないとしたらその特定医療法人は褒めだ fact19: その締まり屋は渡せる fact20: もしもあの慢心は先学でないとすれば「その特定医療法人は存しないけど送稿する」ということは成り立つということはない fact21: もしもその特定医療法人が存するとすればその成立史は御了承下さる fact22: この第一印象は染めない fact23: 「その特定医療法人は存しないが送稿する」ということは成り立たないとすればその成立史は御了承下さる fact24: 「その特定医療法人は存するし加えて送稿する」ということは成り立たない fact25: もしもその成立史が渡せるということはないとするとそれは先学でない fact26: 仮に「とある物はアクセスし易いしそれは藁工品である」ということは成り立たないとしたら存しない
void -> assump1: 以下のように仮定する。あの慢心は先学である; fact3 & assump1 -> int1: あの慢心は歓喜するし更にそれは先学である; int1 & fact14 -> int2: この手刀は渡せない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの慢心は先学でない; int4 & fact20 -> int5: 「その特定医療法人は存しないけれどそれは送稿する」ということは成り立つということはない; int5 & fact23 -> hypothesis;
その成立史は御了承下さらない
fact27 -> int6: その成立史は先学でないとすれば「歓喜するということはないけれど御了承下さる」ということは間違いだ;
$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: 「その特定医療法人は存するし加えて送稿する」ということは成り立たない fact25: もしもその成立史が渡せるということはないとするとそれは先学でない fact26: 仮に「とある物はアクセスし易いしそれは藁工品である」ということは成り立たないとしたら存しない ; $hypothesis$ = その成立史は御了承下さる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの慢心は先学である; fact3 & assump1 -> int1: あの慢心は歓喜するし更にそれは先学である; int1 & fact14 -> int2: この手刀は渡せない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの慢心は先学でない; int4 & fact20 -> int5: 「その特定医療法人は存しないけれどそれは送稿する」ということは成り立つということはない; int5 & fact23 -> 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: 「その特定医療法人は存するし加えて送稿する」ということは成り立たない
事実25: もしもその成立史が渡せるということはないとするとそれは先学でない
事実26: 仮に「とある物はアクセスし易いしそれは藁工品である」ということは成り立たないとしたら存しない

仮説: その成立史は御了承下さる
1. 仮定1: 以下のように仮定する。あの慢心は先学である
2. 事実3と仮定1から、推論1: "あの慢心は歓喜するし更にそれは先学である"が導かれる
3. 推論1と事実14から、推論2: "この手刀は渡せない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの慢心は先学でない"が導かれる
6. 推論4と事実20から、推論5: "「その特定医療法人は存しないけれどそれは送稿する」ということは成り立つということはない"が導かれる
7. 推論5と事実23から、仮説が導かれる

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