仮にその神泉教団は申し送らないなら「それは高ぜないしそれは後ろ暗いということはない」ということは嘘だ
fact1: 「仮に何かは中央図書館でないなら「それは酢漿だ一方で作成済みでない」ということは本当でない」ということは本当だ fact2: その神泉教団は申し送るということはないなら「諸法規でないしかつそれは見え辛い」ということは成り立つということはない fact3: もしも「ある物は申し送る」ということは事実なら「高ぜないししかもそれは後ろ暗くない」ということは嘘だ fact4: 仮にその神泉教団が後ろ暗くないとするとそれは安っぽくないしそれはめぼしくない fact5: その法線ベクトルは大型店であるということはないなら「それは連携・協力であるということはないし分解され難くない」ということは成り立たない fact6: なにかはダスターコートでないならば「それは誤解し易くないしまた順応し易くない」ということは成り立たない fact7: あるものは浸出するということはないとすると「崩壊しなくてその上それは空々しい」ということは成り立たない fact8: もしとあるものは申し送るということはないとすると「それは高ずるが後ろ暗くない」ということは間違いだ fact9: その神泉教団は誤解し易いなら「それは申し送るということはなくて加えて傾き易くない」ということは成り立つということはない fact10: もしもとあるものはパラフレーズするとすると「それは外国人旅行者でないしさらに傾き易くない」ということは成り立たない fact11: あの足枷は殺し合わないならば「それは総予算であるが玉蜀黍畑でない」ということは偽である fact12: 仮にあるものは申し送らないとしたら「高ぜないしその上それは後ろ暗い」ということは誤りである fact13: もし仮になにがしかのものは乗り出さないとすれば「算定し難いということはないけれど作成済みである」ということは事実と異なる fact14: わりなくないものは貴方側でないししかも考え過ぎない fact15: もしもなにがしかのものが底深くないとしたらそれは息苦しいということはないしおまけにそれは遣り辛くない fact16: 仮にその神泉教団は未成年者でないとすれば「それは太刀吉でないし加えてそれは後ろ暗くない」ということは間違いである fact17: もし仮にとあるものは申し送らないとすれば「それは高ぜないししかも後ろ暗くない」ということは間違っている
fact17 -> hypothesis;
fact17 -> hypothesis;
$facts$ = fact1: 「仮に何かは中央図書館でないなら「それは酢漿だ一方で作成済みでない」ということは本当でない」ということは本当だ fact2: その神泉教団は申し送るということはないなら「諸法規でないしかつそれは見え辛い」ということは成り立つということはない fact3: もしも「ある物は申し送る」ということは事実なら「高ぜないししかもそれは後ろ暗くない」ということは嘘だ fact4: 仮にその神泉教団が後ろ暗くないとするとそれは安っぽくないしそれはめぼしくない fact5: その法線ベクトルは大型店であるということはないなら「それは連携・協力であるということはないし分解され難くない」ということは成り立たない fact6: なにかはダスターコートでないならば「それは誤解し易くないしまた順応し易くない」ということは成り立たない fact7: あるものは浸出するということはないとすると「崩壊しなくてその上それは空々しい」ということは成り立たない fact8: もしとあるものは申し送るということはないとすると「それは高ずるが後ろ暗くない」ということは間違いだ fact9: その神泉教団は誤解し易いなら「それは申し送るということはなくて加えて傾き易くない」ということは成り立つということはない fact10: もしもとあるものはパラフレーズするとすると「それは外国人旅行者でないしさらに傾き易くない」ということは成り立たない fact11: あの足枷は殺し合わないならば「それは総予算であるが玉蜀黍畑でない」ということは偽である fact12: 仮にあるものは申し送らないとしたら「高ぜないしその上それは後ろ暗い」ということは誤りである fact13: もし仮になにがしかのものは乗り出さないとすれば「算定し難いということはないけれど作成済みである」ということは事実と異なる fact14: わりなくないものは貴方側でないししかも考え過ぎない fact15: もしもなにがしかのものが底深くないとしたらそれは息苦しいということはないしおまけにそれは遣り辛くない fact16: 仮にその神泉教団は未成年者でないとすれば「それは太刀吉でないし加えてそれは後ろ暗くない」ということは間違いである fact17: もし仮にとあるものは申し送らないとすれば「それは高ぜないししかも後ろ暗くない」ということは間違っている ; $hypothesis$ = 仮にその神泉教団は申し送らないなら「それは高ぜないしそれは後ろ暗いということはない」ということは嘘だ ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: 「仮に何かは中央図書館でないなら「それは酢漿だ一方で作成済みでない」ということは本当でない」ということは本当だ
事実2: その神泉教団は申し送るということはないなら「諸法規でないしかつそれは見え辛い」ということは成り立つということはない
事実3: もしも「ある物は申し送る」ということは事実なら「高ぜないししかもそれは後ろ暗くない」ということは嘘だ
事実4: 仮にその神泉教団が後ろ暗くないとするとそれは安っぽくないしそれはめぼしくない
事実5: その法線ベクトルは大型店であるということはないなら「それは連携・協力であるということはないし分解され難くない」ということは成り立たない
事実6: なにかはダスターコートでないならば「それは誤解し易くないしまた順応し易くない」ということは成り立たない
事実7: あるものは浸出するということはないとすると「崩壊しなくてその上それは空々しい」ということは成り立たない
事実8: もしとあるものは申し送るということはないとすると「それは高ずるが後ろ暗くない」ということは間違いだ
事実9: その神泉教団は誤解し易いなら「それは申し送るということはなくて加えて傾き易くない」ということは成り立つということはない
事実10: もしもとあるものはパラフレーズするとすると「それは外国人旅行者でないしさらに傾き易くない」ということは成り立たない
事実11: あの足枷は殺し合わないならば「それは総予算であるが玉蜀黍畑でない」ということは偽である
事実12: 仮にあるものは申し送らないとしたら「高ぜないしその上それは後ろ暗い」ということは誤りである
事実13: もし仮になにがしかのものは乗り出さないとすれば「算定し難いということはないけれど作成済みである」ということは事実と異なる
事実14: わりなくないものは貴方側でないししかも考え過ぎない
事実15: もしもなにがしかのものが底深くないとしたらそれは息苦しいということはないしおまけにそれは遣り辛くない
事実16: 仮にその神泉教団は未成年者でないとすれば「それは太刀吉でないし加えてそれは後ろ暗くない」ということは間違いである
事実17: もし仮にとあるものは申し送らないとすれば「それは高ぜないししかも後ろ暗くない」ということは間違っている

仮説: 仮にその神泉教団は申し送らないなら「それは高ぜないしそれは後ろ暗いということはない」ということは嘘だ
1. 事実17から、仮説が導かれる

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