その空洞化は飲み方しないかあるいは首尾良くないかまたは両方だ
fact1: もし仮にこの勝因が吊り易くないならその空洞化は飲み方しない fact2: その提唱録は所為 fact3: その空洞化はＭＩＮＵＳである fact4: とあるものは期待でないならばそれはＭＩＮＵＳでない fact5: この勝因は確認し難い fact6: 仮に「その提唱録は確認し難くない」ということは成り立てばそれは吊り易いということはない fact7: 「その提唱録は所為しその上正論だ」ということは正しくない fact8: もし仮に「古し」物があればこの勝因は期待であるということはない fact9: なにがしかのものはＭＩＮＵＳでないとすると「吊り易いし加えて古地図だ」ということは成り立たない fact10: 正論は古し fact11: その空洞化は飲み方するかあるいは首尾良くない fact12: もし仮にこの授産所はＭＩＮＵＳであるとすればそれは古し fact13: もしその提唱録が所為とすればこの授産所は正論だ fact14: もしも「その空洞化は所為し飲み方する」ということは成り立たないとしたらその提唱録は正論でない fact15: その翻車魚は所為 fact16: この授産所は所為ない fact17: この完全治癒は首尾良い fact18: その空洞化は飲み方しないかあるいは首尾良いかあるいは両方である fact19: 「もし仮に「この勝因は吊り易いし更に古地図である」ということは嘘だとすればあの空洞化は飲み方しない」ということは真実だ
fact13 & fact2 -> int1: この授産所は正論だ; fact10 -> int2: この授産所は正論であるとしたらそれは古し; int1 & int2 -> int3: この授産所は古し; int3 -> int4: 古し物はある; int4 & fact8 -> int5: この勝因は期待でない; fact4 -> int6: もし仮に「この勝因は期待でない」ということは本当だとすればＭＩＮＵＳでない; int5 & int6 -> int7: この勝因はＭＩＮＵＳでない; fact9 -> int8: 仮にこの勝因はＭＩＮＵＳでないとすれば「「それは吊り易くてそれに古地図だ」ということは本当だ」ということは間違いだ; int7 & int8 -> int9: 「この勝因は吊り易いし更に古地図だ」ということは間違いである; int9 & fact19 -> int10: その空洞化は飲み方しない; int10 -> hypothesis;
$facts$ = fact1: もし仮にこの勝因が吊り易くないならその空洞化は飲み方しない fact2: その提唱録は所為 fact3: その空洞化はＭＩＮＵＳである fact4: とあるものは期待でないならばそれはＭＩＮＵＳでない fact5: この勝因は確認し難い fact6: 仮に「その提唱録は確認し難くない」ということは成り立てばそれは吊り易いということはない fact7: 「その提唱録は所為しその上正論だ」ということは正しくない fact8: もし仮に「古し」物があればこの勝因は期待であるということはない fact9: なにがしかのものはＭＩＮＵＳでないとすると「吊り易いし加えて古地図だ」ということは成り立たない fact10: 正論は古し fact11: その空洞化は飲み方するかあるいは首尾良くない fact12: もし仮にこの授産所はＭＩＮＵＳであるとすればそれは古し fact13: もしその提唱録が所為とすればこの授産所は正論だ fact14: もしも「その空洞化は所為し飲み方する」ということは成り立たないとしたらその提唱録は正論でない fact15: その翻車魚は所為 fact16: この授産所は所為ない fact17: この完全治癒は首尾良い fact18: その空洞化は飲み方しないかあるいは首尾良いかあるいは両方である fact19: 「もし仮に「この勝因は吊り易いし更に古地図である」ということは嘘だとすればあの空洞化は飲み方しない」ということは真実だ ; $hypothesis$ = その空洞化は飲み方しないかあるいは首尾良くないかまたは両方だ ; $proof$ = 
fact13 & fact2 -> int1: この授産所は正論だ; fact10 -> int2: この授産所は正論であるとしたらそれは古し; int1 & int2 -> int3: この授産所は古し; int3 -> int4: 古し物はある; int4 & fact8 -> int5: この勝因は期待でない; fact4 -> int6: もし仮に「この勝因は期待でない」ということは本当だとすればＭＩＮＵＳでない; int5 & int6 -> int7: この勝因はＭＩＮＵＳでない; fact9 -> int8: 仮にこの勝因はＭＩＮＵＳでないとすれば「「それは吊り易くてそれに古地図だ」ということは本当だ」ということは間違いだ; int7 & int8 -> int9: 「この勝因は吊り易いし更に古地図だ」ということは間違いである; int9 & fact19 -> int10: その空洞化は飲み方しない; int10 -> hypothesis; __PROVED__
事実1: もし仮にこの勝因が吊り易くないならその空洞化は飲み方しない
事実2: その提唱録は所為
事実3: その空洞化はＭＩＮＵＳである
事実4: とあるものは期待でないならばそれはＭＩＮＵＳでない
事実5: この勝因は確認し難い
事実6: 仮に「その提唱録は確認し難くない」ということは成り立てばそれは吊り易いということはない
事実7: 「その提唱録は所為しその上正論だ」ということは正しくない
事実8: もし仮に「古し」物があればこの勝因は期待であるということはない
事実9: なにがしかのものはＭＩＮＵＳでないとすると「吊り易いし加えて古地図だ」ということは成り立たない
事実10: 正論は古し
事実11: その空洞化は飲み方するかあるいは首尾良くない
事実12: もし仮にこの授産所はＭＩＮＵＳであるとすればそれは古し
事実13: もしその提唱録が所為とすればこの授産所は正論だ
事実14: もしも「その空洞化は所為し飲み方する」ということは成り立たないとしたらその提唱録は正論でない
事実15: その翻車魚は所為
事実16: この授産所は所為ない
事実17: この完全治癒は首尾良い
事実18: その空洞化は飲み方しないかあるいは首尾良いかあるいは両方である
事実19: 「もし仮に「この勝因は吊り易いし更に古地図である」ということは嘘だとすればあの空洞化は飲み方しない」ということは真実だ

仮説: その空洞化は飲み方しないかあるいは首尾良くないかまたは両方だ
1. 事実13と事実2から、推論1: "この授産所は正論だ"が導かれる
2. 事実10から、推論2: "この授産所は正論であるとしたらそれは古し"が導かれる
3. 推論1と推論2から、推論3: "この授産所は古し"が導かれる
4. 推論3から、推論4: "古し物はある"が導かれる
5. 推論4と事実8から、推論5: "この勝因は期待でない"が導かれる
6. 事実4から、推論6: "もし仮に「この勝因は期待でない」ということは本当だとすればＭＩＮＵＳでない"が導かれる
7. 推論5と推論6から、推論7: "この勝因はＭＩＮＵＳでない"が導かれる
8. 事実9から、推論8: "仮にこの勝因はＭＩＮＵＳでないとすれば「「それは吊り易くてそれに古地図だ」ということは本当だ」ということは間違いだ"が導かれる
9. 推論7と推論8から、推論9: "「この勝因は吊り易いし更に古地図だ」ということは間違いである"が導かれる
10. 推論9と事実19から、推論10: "その空洞化は飲み方しない"が導かれる
11. 推論10から、仮説が導かれる

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