「仮に「活動費用でなくてその上二転三転しない」ということは事実でないならばしょっぱくない」物はある
fact1: もし「何らかの物は定式化しないしおまけにそれは近付き易くない」ということは事実と異なるなら円柱型でない fact2: もしもその狐色は会社分割制度でなくてまた中央権力であるということはないならばそれは初診時転移でない fact3: 仮にこの南方録は連携プレイでなくてしかも重合しないとするとそれは税務でない fact4: もしも何らかのものが表意だということはないししかも竜宮洞窟だということはないなら錯覚しない fact5: もし「ある物はカサガイ類でなくて乏しいということはない」ということは間違いならばそれは隣接しない fact6: 「「明室でないけど借用する」ということは誤っているとすれば分散局在しない」物はある fact7: 「仮に「活動費用でなくてかつ二転三転する」ということは事実と異なるとすると「しょっぱいということはない」ということは確かである」ものはある fact8: 「もし仮に活動費用だとすればしょっぱいということはない」物はある fact9: 「仮に「なあくなくてホームステイしない」ということは事実でないなら一般管理費である」物はある fact10: もし「なにがしかのものは御届け致さないけれどそれはガス焜炉だ」ということは偽だとするとそれは塩辛くない fact11: 仮に「この南方録は活動費用でなくて加えてそれは二転三転しない」ということは成り立たないとするとしょっぱい fact12: 「「もし「明室でなくてかつ居住用財産でない」ということは成り立つということはないとしたら掻き落とさない」物はある」ということは正しい fact13: もし「ある物は活動費用でなくておまけにそれは二転三転するということはない」ということは間違いであるとするとしょっぱくない fact14: もしも「この南方録は信心深くない一方で結び付き難い」ということは誤りだとするとそれは勝ち易くない fact15: もしこの南方録が二転三転するとするとそれはしょっぱくない
fact13 -> int1: もし仮に「この南方録は活動費用でないし二転三転するということはない」ということは偽であるとするとしょっぱくない; int1 -> hypothesis;
$facts$ = fact1: もし「何らかの物は定式化しないしおまけにそれは近付き易くない」ということは事実と異なるなら円柱型でない fact2: もしもその狐色は会社分割制度でなくてまた中央権力であるということはないならばそれは初診時転移でない fact3: 仮にこの南方録は連携プレイでなくてしかも重合しないとするとそれは税務でない fact4: もしも何らかのものが表意だということはないししかも竜宮洞窟だということはないなら錯覚しない fact5: もし「ある物はカサガイ類でなくて乏しいということはない」ということは間違いならばそれは隣接しない fact6: 「「明室でないけど借用する」ということは誤っているとすれば分散局在しない」物はある fact7: 「仮に「活動費用でなくてかつ二転三転する」ということは事実と異なるとすると「しょっぱいということはない」ということは確かである」ものはある fact8: 「もし仮に活動費用だとすればしょっぱいということはない」物はある fact9: 「仮に「なあくなくてホームステイしない」ということは事実でないなら一般管理費である」物はある fact10: もし「なにがしかのものは御届け致さないけれどそれはガス焜炉だ」ということは偽だとするとそれは塩辛くない fact11: 仮に「この南方録は活動費用でなくて加えてそれは二転三転しない」ということは成り立たないとするとしょっぱい fact12: 「「もし「明室でなくてかつ居住用財産でない」ということは成り立つということはないとしたら掻き落とさない」物はある」ということは正しい fact13: もし「ある物は活動費用でなくておまけにそれは二転三転するということはない」ということは間違いであるとするとしょっぱくない fact14: もしも「この南方録は信心深くない一方で結び付き難い」ということは誤りだとするとそれは勝ち易くない fact15: もしこの南方録が二転三転するとするとそれはしょっぱくない ; $hypothesis$ = 「仮に「活動費用でなくてその上二転三転しない」ということは事実でないならばしょっぱくない」物はある ; $proof$ = 
fact13 -> int1: もし仮に「この南方録は活動費用でないし二転三転するということはない」ということは偽であるとするとしょっぱくない; int1 -> hypothesis; __PROVED__
事実1: もし「何らかの物は定式化しないしおまけにそれは近付き易くない」ということは事実と異なるなら円柱型でない
事実2: もしもその狐色は会社分割制度でなくてまた中央権力であるということはないならばそれは初診時転移でない
事実3: 仮にこの南方録は連携プレイでなくてしかも重合しないとするとそれは税務でない
事実4: もしも何らかのものが表意だということはないししかも竜宮洞窟だということはないなら錯覚しない
事実5: もし「ある物はカサガイ類でなくて乏しいということはない」ということは間違いならばそれは隣接しない
事実6: 「「明室でないけど借用する」ということは誤っているとすれば分散局在しない」物はある
事実7: 「仮に「活動費用でなくてかつ二転三転する」ということは事実と異なるとすると「しょっぱいということはない」ということは確かである」ものはある
事実8: 「もし仮に活動費用だとすればしょっぱいということはない」物はある
事実9: 「仮に「なあくなくてホームステイしない」ということは事実でないなら一般管理費である」物はある
事実10: もし「なにがしかのものは御届け致さないけれどそれはガス焜炉だ」ということは偽だとするとそれは塩辛くない
事実11: 仮に「この南方録は活動費用でなくて加えてそれは二転三転しない」ということは成り立たないとするとしょっぱい
事実12: 「「もし「明室でなくてかつ居住用財産でない」ということは成り立つということはないとしたら掻き落とさない」物はある」ということは正しい
事実13: もし「ある物は活動費用でなくておまけにそれは二転三転するということはない」ということは間違いであるとするとしょっぱくない
事実14: もしも「この南方録は信心深くない一方で結び付き難い」ということは誤りだとするとそれは勝ち易くない
事実15: もしこの南方録が二転三転するとするとそれはしょっぱくない

仮説: 「仮に「活動費用でなくてその上二転三転しない」ということは事実でないならばしょっぱくない」物はある
1. 事実13から、推論1: "もし仮に「この南方録は活動費用でないし二転三転するということはない」ということは偽であるとするとしょっぱくない"が導かれる
2. 推論1から、仮説が導かれる

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