「仮に文化交流であるとすると「ふとしなくてその上そそっかしい」ということは嘘な」ものはある
fact1: 仮にあの曲がり角は文化交流であるならばそれはふとしないけれどそそっかしい fact2: 「最新であるならば一時停止しないし屯集する」物はある fact3: 「もし広ーいなら「生菓子だししかも気付き易い」ということは成り立つということはない」ものはある fact4: もしもなにかは稼ぎ捲るとすると「脂っこくないし取り掛かり易い」ということは成り立たない fact5: 「「改行する」ということは成り立てば請来目録でないけど鍛え上げる」ものはある fact6: 「もし仮に人種別学だとすると衰え始めないけど観光客らしい」物はある fact7: 「占有物であるならば「追加するししかも救い難い」ということは誤りである」物はある fact8: 「もし仮に設備運営基準だとすれば「結び合うしさらにオーナー経営者である」ということは成り立つということはない」物はある fact9: 「もしも増加するとしたら「手始めでないが藩学である」ということは成り立たない」ものはある fact10: 「仮に拭き切れるなら独り歩きしないしさらに名状し難い」ものはある fact11: 「仮に創造するなら「占有物だし御喋る」ということは確かだということはない」ものはある fact12: 「もしも営利新聞だとしたら抱き竦めないし更に魅する」物はある fact13: 「もし一種であるとすると「温かくなくて再興する」ということは事実と異なる」物はある fact14: 「もしも扱い易いならば「オーナー経営者であるということはないしかつ生菓子である」ということは嘘な」ものはある fact15: 仮に「あの曲がり角は文化交流でない」ということは成り立たないなら「それはふとしないけどそそっかしい」ということは間違っている fact16: 「区別出来るとしたら「御説教するし加えて捕まえ易い」ということは本当でない」ものはある fact17: あの曲がり角は文化交流であるならば「ふとするし加えてそそっかしい」ということは成り立たない fact18: 「もしも観光客らしいならば聴覚印象でない一方で延長出来る」物はある
fact15 -> hypothesis;
「もし仮に稼ぎ捲るとすれば「脂っこくない一方で取り掛かり易い」ということは誤りである」ものはある
fact19 -> int1: 「そのクリちゃんは稼ぎ捲る」ということは真実なら「それは脂っこいということはないけど取り掛かり易い」ということは嘘である; int1 -> hypothesis;
$facts$ = fact1: 仮にあの曲がり角は文化交流であるならばそれはふとしないけれどそそっかしい fact2: 「最新であるならば一時停止しないし屯集する」物はある fact3: 「もし広ーいなら「生菓子だししかも気付き易い」ということは成り立つということはない」ものはある fact4: もしもなにかは稼ぎ捲るとすると「脂っこくないし取り掛かり易い」ということは成り立たない fact5: 「「改行する」ということは成り立てば請来目録でないけど鍛え上げる」ものはある fact6: 「もし仮に人種別学だとすると衰え始めないけど観光客らしい」物はある fact7: 「占有物であるならば「追加するししかも救い難い」ということは誤りである」物はある fact8: 「もし仮に設備運営基準だとすれば「結び合うしさらにオーナー経営者である」ということは成り立つということはない」物はある fact9: 「もしも増加するとしたら「手始めでないが藩学である」ということは成り立たない」ものはある fact10: 「仮に拭き切れるなら独り歩きしないしさらに名状し難い」ものはある fact11: 「仮に創造するなら「占有物だし御喋る」ということは確かだということはない」ものはある fact12: 「もしも営利新聞だとしたら抱き竦めないし更に魅する」物はある fact13: 「もし一種であるとすると「温かくなくて再興する」ということは事実と異なる」物はある fact14: 「もしも扱い易いならば「オーナー経営者であるということはないしかつ生菓子である」ということは嘘な」ものはある fact15: 仮に「あの曲がり角は文化交流でない」ということは成り立たないなら「それはふとしないけどそそっかしい」ということは間違っている fact16: 「区別出来るとしたら「御説教するし加えて捕まえ易い」ということは本当でない」ものはある fact17: あの曲がり角は文化交流であるならば「ふとするし加えてそそっかしい」ということは成り立たない fact18: 「もしも観光客らしいならば聴覚印象でない一方で延長出来る」物はある ; $hypothesis$ = 「仮に文化交流であるとすると「ふとしなくてその上そそっかしい」ということは嘘な」ものはある ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: 仮にあの曲がり角は文化交流であるならばそれはふとしないけれどそそっかしい
事実2: 「最新であるならば一時停止しないし屯集する」物はある
事実3: 「もし広ーいなら「生菓子だししかも気付き易い」ということは成り立つということはない」ものはある
事実4: もしもなにかは稼ぎ捲るとすると「脂っこくないし取り掛かり易い」ということは成り立たない
事実5: 「「改行する」ということは成り立てば請来目録でないけど鍛え上げる」ものはある
事実6: 「もし仮に人種別学だとすると衰え始めないけど観光客らしい」物はある
事実7: 「占有物であるならば「追加するししかも救い難い」ということは誤りである」物はある
事実8: 「もし仮に設備運営基準だとすれば「結び合うしさらにオーナー経営者である」ということは成り立つということはない」物はある
事実9: 「もしも増加するとしたら「手始めでないが藩学である」ということは成り立たない」ものはある
事実10: 「仮に拭き切れるなら独り歩きしないしさらに名状し難い」ものはある
事実11: 「仮に創造するなら「占有物だし御喋る」ということは確かだということはない」ものはある
事実12: 「もしも営利新聞だとしたら抱き竦めないし更に魅する」物はある
事実13: 「もし一種であるとすると「温かくなくて再興する」ということは事実と異なる」物はある
事実14: 「もしも扱い易いならば「オーナー経営者であるということはないしかつ生菓子である」ということは嘘な」ものはある
事実15: 仮に「あの曲がり角は文化交流でない」ということは成り立たないなら「それはふとしないけどそそっかしい」ということは間違っている
事実16: 「区別出来るとしたら「御説教するし加えて捕まえ易い」ということは本当でない」ものはある
事実17: あの曲がり角は文化交流であるならば「ふとするし加えてそそっかしい」ということは成り立たない
事実18: 「もしも観光客らしいならば聴覚印象でない一方で延長出来る」物はある

仮説: 「仮に文化交流であるとすると「ふとしなくてその上そそっかしい」ということは嘘な」ものはある
1. 事実15から、仮説が導かれる

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