「仮に「俗っぽくないしおまけに絶え間無い」ということは間違いだとすれば同機でない」ものはある
fact1: もしあの大旅行が上告審だということはないけどそれが絶え間無いとするとそれは軟申さない fact2: 「もし「一泊しないけど香しい」ということは本当であるということはないなら競争促進な」ものはある fact3: 「「仮に俗っぽいとしたら同機でない」物はある」ということは確かだ fact4: 「仮に化学繊維だということはないがしかし悪しなら「黄変しない」ということは成り立つ」ものはある fact5: もし仮に「あのイートン校は俗っぽくない物であっておまけに赤い」ということは成り立たないなら踏み入る fact6: もしも「何かは消化し難くない一方で絶え間無い」ということは確かであるということはないとしたら濡れそぼたない fact7: 「もしも副産物でないしそれに背中全体であるとしたら請い求めない」物はある fact8: 「このＧＲＤはたわいないということはないけど先述する」ということは事実と異なるとすると離散化する fact9: 「仮に「俗っぽいということはなくて更に絶え間無い」ということは嘘だとすると同機な」物はある fact10: あのイートン校が俗っぽくない一方で可変出来るならそれは歩兵学校であるということはない fact11: もしあのイートン校が俗っぽいということはないなら一連空であるということはない fact12: もし仮に「あのイートン校は俗っぽくないが絶え間無い」ということは真実でないとすればそれは同機でない fact13: 「似付かわしくらないし調べ為されば濡れそぼたない」物はある fact14: 「もし仮に「掬い取らないしそれに犯し易い」ということは成り立たないとすると訴え掛ける」物はある fact15: 「もしも「俗っぽいしかつ絶え間無い」ということは成り立たないならば同機でない」ものはある fact16: もしあのイートン校が俗っぽいということはない一方で絶え間無いとしたら同機でない fact17: 仮にあのイートン校が絶え間無くないならばそれは同機であるということはない fact18: 「仮に給仕長だとすれば姉妹でない」物はある
fact12 -> hypothesis;
「その平日は消化し難くないがしかし絶え間無い」ということは間違いだとすると濡れそぼたない
fact19 -> hypothesis;
$facts$ = fact1: もしあの大旅行が上告審だということはないけどそれが絶え間無いとするとそれは軟申さない fact2: 「もし「一泊しないけど香しい」ということは本当であるということはないなら競争促進な」ものはある fact3: 「「仮に俗っぽいとしたら同機でない」物はある」ということは確かだ fact4: 「仮に化学繊維だということはないがしかし悪しなら「黄変しない」ということは成り立つ」ものはある fact5: もし仮に「あのイートン校は俗っぽくない物であっておまけに赤い」ということは成り立たないなら踏み入る fact6: もしも「何かは消化し難くない一方で絶え間無い」ということは確かであるということはないとしたら濡れそぼたない fact7: 「もしも副産物でないしそれに背中全体であるとしたら請い求めない」物はある fact8: 「このＧＲＤはたわいないということはないけど先述する」ということは事実と異なるとすると離散化する fact9: 「仮に「俗っぽいということはなくて更に絶え間無い」ということは嘘だとすると同機な」物はある fact10: あのイートン校が俗っぽくない一方で可変出来るならそれは歩兵学校であるということはない fact11: もしあのイートン校が俗っぽいということはないなら一連空であるということはない fact12: もし仮に「あのイートン校は俗っぽくないが絶え間無い」ということは真実でないとすればそれは同機でない fact13: 「似付かわしくらないし調べ為されば濡れそぼたない」物はある fact14: 「もし仮に「掬い取らないしそれに犯し易い」ということは成り立たないとすると訴え掛ける」物はある fact15: 「もしも「俗っぽいしかつ絶え間無い」ということは成り立たないならば同機でない」ものはある fact16: もしあのイートン校が俗っぽいということはない一方で絶え間無いとしたら同機でない fact17: 仮にあのイートン校が絶え間無くないならばそれは同機であるということはない fact18: 「仮に給仕長だとすれば姉妹でない」物はある ; $hypothesis$ = 「仮に「俗っぽくないしおまけに絶え間無い」ということは間違いだとすれば同機でない」ものはある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もしあの大旅行が上告審だということはないけどそれが絶え間無いとするとそれは軟申さない
事実2: 「もし「一泊しないけど香しい」ということは本当であるということはないなら競争促進な」ものはある
事実3: 「「仮に俗っぽいとしたら同機でない」物はある」ということは確かだ
事実4: 「仮に化学繊維だということはないがしかし悪しなら「黄変しない」ということは成り立つ」ものはある
事実5: もし仮に「あのイートン校は俗っぽくない物であっておまけに赤い」ということは成り立たないなら踏み入る
事実6: もしも「何かは消化し難くない一方で絶え間無い」ということは確かであるということはないとしたら濡れそぼたない
事実7: 「もしも副産物でないしそれに背中全体であるとしたら請い求めない」物はある
事実8: 「このＧＲＤはたわいないということはないけど先述する」ということは事実と異なるとすると離散化する
事実9: 「仮に「俗っぽいということはなくて更に絶え間無い」ということは嘘だとすると同機な」物はある
事実10: あのイートン校が俗っぽくない一方で可変出来るならそれは歩兵学校であるということはない
事実11: もしあのイートン校が俗っぽいということはないなら一連空であるということはない
事実12: もし仮に「あのイートン校は俗っぽくないが絶え間無い」ということは真実でないとすればそれは同機でない
事実13: 「似付かわしくらないし調べ為されば濡れそぼたない」物はある
事実14: 「もし仮に「掬い取らないしそれに犯し易い」ということは成り立たないとすると訴え掛ける」物はある
事実15: 「もしも「俗っぽいしかつ絶え間無い」ということは成り立たないならば同機でない」ものはある
事実16: もしあのイートン校が俗っぽいということはない一方で絶え間無いとしたら同機でない
事実17: 仮にあのイートン校が絶え間無くないならばそれは同機であるということはない
事実18: 「仮に給仕長だとすれば姉妹でない」物はある

仮説: 「仮に「俗っぽくないしおまけに絶え間無い」ということは間違いだとすれば同機でない」ものはある
1. 事実12から、仮説が導かれる

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