「仮に求まれば「設立出来ないけど老成する」ということは成り立たない」物はある
fact1: 「あの穿孔は大盛り上がりだ」ということは本当だとすれば「それは一年先物でないがしかし老成する」ということは間違いである fact2: 「「仮に「求まる」ということは確かであるなら設立出来ないけど老成する」ものはある」ということは成り立つ fact3: 仮に「あの穿孔は求まる」ということは本当であるならば「それは設立出来るし老成する」ということは間違っている fact4: もしもあの穿孔は主峰なら「それは結び付き易くないがしかし老成する」ということは間違いだ fact5: この消費需要はコラムだとすれば「奉戴しないがしかし設立出来る」ということは成り立たない fact6: もしもなんらかの物が求まれば設立出来ないしさらにそれは老成する fact7: 「仮に求まれば「設立出来るし老成する」ということは成り立たない」ものはある fact8: 仮になんらかの物は飲めるなら「熱戦でなくてそれに寄る辺無い」ということは成り立たない fact9: もしなんらかのものは椿油だとしたら「それは国政調査権でない一方で疲れ易い」ということは偽だ fact10: あの穿孔が求まるとすると設立出来ないしそれは老成する fact11: 仮にとある物は可笑しとすると「でかいということはないしそれにそれは格好悪い」ということは誤っている fact12: 「もしマッピングするなら「物憂いということはない一方で熱戦だ」ということは偽な」物はある fact13: 「もし仮に「だらし無い」ということは真実だとすれば「遅しということはないしおまけに構想する」ということは成り立たない」ものはある fact14: もしなにがしかの物は求まるとしたら「設立出来ないが老成する」ということは成り立たない fact15: 「もし仮に分娩ならば「四角くないし糾う」ということは間違いな」物はある fact16: 仮にあの穿孔は省資源であるならば「それは隠れ家でないしその上求まる」ということは事実と異なる fact17: 「美しとしたら「与し易くないしまたゴブラン織りだ」ということは偽な」ものはある fact18: 「仮に妻方ならば「すばしっこいということはないが誤用する」ということは誤りである」物はある fact19: 仮に「あの穿孔は誤用する」ということは事実ならば「求まらなくてかつ鮮人だ」ということは成り立たない fact20: もし何らかの物は求まれば「それは設立出来るしおまけに老成する」ということは成り立たない fact21: 「もしも「椿油だ」ということは本当であるとしたら「上昇し易くないがしかしコラムである」ということは嘘な」ものはある
fact14 -> int1: あの穿孔は求まるとすれば「それは設立出来ないがしかし老成する」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: 「あの穿孔は大盛り上がりだ」ということは本当だとすれば「それは一年先物でないがしかし老成する」ということは間違いである fact2: 「「仮に「求まる」ということは確かであるなら設立出来ないけど老成する」ものはある」ということは成り立つ fact3: 仮に「あの穿孔は求まる」ということは本当であるならば「それは設立出来るし老成する」ということは間違っている fact4: もしもあの穿孔は主峰なら「それは結び付き易くないがしかし老成する」ということは間違いだ fact5: この消費需要はコラムだとすれば「奉戴しないがしかし設立出来る」ということは成り立たない fact6: もしもなんらかの物が求まれば設立出来ないしさらにそれは老成する fact7: 「仮に求まれば「設立出来るし老成する」ということは成り立たない」ものはある fact8: 仮になんらかの物は飲めるなら「熱戦でなくてそれに寄る辺無い」ということは成り立たない fact9: もしなんらかのものは椿油だとしたら「それは国政調査権でない一方で疲れ易い」ということは偽だ fact10: あの穿孔が求まるとすると設立出来ないしそれは老成する fact11: 仮にとある物は可笑しとすると「でかいということはないしそれにそれは格好悪い」ということは誤っている fact12: 「もしマッピングするなら「物憂いということはない一方で熱戦だ」ということは偽な」物はある fact13: 「もし仮に「だらし無い」ということは真実だとすれば「遅しということはないしおまけに構想する」ということは成り立たない」ものはある fact14: もしなにがしかの物は求まるとしたら「設立出来ないが老成する」ということは成り立たない fact15: 「もし仮に分娩ならば「四角くないし糾う」ということは間違いな」物はある fact16: 仮にあの穿孔は省資源であるならば「それは隠れ家でないしその上求まる」ということは事実と異なる fact17: 「美しとしたら「与し易くないしまたゴブラン織りだ」ということは偽な」ものはある fact18: 「仮に妻方ならば「すばしっこいということはないが誤用する」ということは誤りである」物はある fact19: 仮に「あの穿孔は誤用する」ということは事実ならば「求まらなくてかつ鮮人だ」ということは成り立たない fact20: もし何らかの物は求まれば「それは設立出来るしおまけに老成する」ということは成り立たない fact21: 「もしも「椿油だ」ということは本当であるとしたら「上昇し易くないがしかしコラムである」ということは嘘な」ものはある ; $hypothesis$ = 「仮に求まれば「設立出来ないけど老成する」ということは成り立たない」物はある ; $proof$ = 
fact14 -> int1: あの穿孔は求まるとすれば「それは設立出来ないがしかし老成する」ということは間違いである; int1 -> hypothesis; __PROVED__
事実1: 「あの穿孔は大盛り上がりだ」ということは本当だとすれば「それは一年先物でないがしかし老成する」ということは間違いである
事実2: 「「仮に「求まる」ということは確かであるなら設立出来ないけど老成する」ものはある」ということは成り立つ
事実3: 仮に「あの穿孔は求まる」ということは本当であるならば「それは設立出来るし老成する」ということは間違っている
事実4: もしもあの穿孔は主峰なら「それは結び付き易くないがしかし老成する」ということは間違いだ
事実5: この消費需要はコラムだとすれば「奉戴しないがしかし設立出来る」ということは成り立たない
事実6: もしもなんらかの物が求まれば設立出来ないしさらにそれは老成する
事実7: 「仮に求まれば「設立出来るし老成する」ということは成り立たない」ものはある
事実8: 仮になんらかの物は飲めるなら「熱戦でなくてそれに寄る辺無い」ということは成り立たない
事実9: もしなんらかのものは椿油だとしたら「それは国政調査権でない一方で疲れ易い」ということは偽だ
事実10: あの穿孔が求まるとすると設立出来ないしそれは老成する
事実11: 仮にとある物は可笑しとすると「でかいということはないしそれにそれは格好悪い」ということは誤っている
事実12: 「もしマッピングするなら「物憂いということはない一方で熱戦だ」ということは偽な」物はある
事実13: 「もし仮に「だらし無い」ということは真実だとすれば「遅しということはないしおまけに構想する」ということは成り立たない」ものはある
事実14: もしなにがしかの物は求まるとしたら「設立出来ないが老成する」ということは成り立たない
事実15: 「もし仮に分娩ならば「四角くないし糾う」ということは間違いな」物はある
事実16: 仮にあの穿孔は省資源であるならば「それは隠れ家でないしその上求まる」ということは事実と異なる
事実17: 「美しとしたら「与し易くないしまたゴブラン織りだ」ということは偽な」ものはある
事実18: 「仮に妻方ならば「すばしっこいということはないが誤用する」ということは誤りである」物はある
事実19: 仮に「あの穿孔は誤用する」ということは事実ならば「求まらなくてかつ鮮人だ」ということは成り立たない
事実20: もし何らかの物は求まれば「それは設立出来るしおまけに老成する」ということは成り立たない
事実21: 「もしも「椿油だ」ということは本当であるとしたら「上昇し易くないがしかしコラムである」ということは嘘な」ものはある

仮説: 「仮に求まれば「設立出来ないけど老成する」ということは成り立たない」物はある
1. 事実14から、推論1: "あの穿孔は求まるとすれば「それは設立出来ないがしかし老成する」ということは間違いである"が導かれる
2. 推論1から、仮説が導かれる

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