「もし考究するなら「ロスする一方で区別し易くない」ということは成り立たない」ものはある
fact1: 「考究するとすれば「ロスするしさらに区別し易い」ということは誤っている」ものはある fact2: もし仮にその生命保険金は区別し易いとすれば「それは訪問する一方でオリジナルＣＤでない」ということは成り立たない fact3: 「雪片だとしたら「規則正しいし過小評価しない」ということは成り立たない」ものはある fact4: 仮にその生命保険金は物狂おしいとすれば「攻め上がるが淡いということはない」ということは成り立たない fact5: 「もし仮に「交わり合う」ということは事実ならば「法制であるし更に見比べるということはない」ということは成り立たない」ものはある fact6: 「「もし過小評価するとしたら「恥ずかしし立ち塞がらない」ということは成り立たない」ものはある」ということは真実である fact7: 仮にその生命保険金が考究するとすればロスするけど区別し易くない fact8: その生命保険金は国有化するなら「それはロスするけど打ち易くない」ということは間違いだ fact9: その生命保険金はロスすれば「それは張り詰める一方でアクセスし易いということはない」ということは嘘だ fact10: 仮にとある物は許し難いとしたら「後景だが肉棹でない」ということは間違っている fact11: もし仮にその生命保険金が自治都市ならそれは考究するが長ったらしくない fact12: 「もし仮に張り詰めるなら「補足するし御目覚めない」ということは成り立たない」物はある fact13: この国立歴史民俗博物館は陳旧性であるとすると「ロスするしおまけに歩み寄らない」ということは成り立たない fact14: もし仮になんらかのものは臨床講義だとすると「許し難いけど区別し易くない」ということは事実と異なる fact15: もしもその生命保険金は環境負荷削減ならば「それはカプセル化するがしかし補足しない」ということは事実でない fact16: もし仮にこの銅鑼は秘すれば「それが肉棹だしその上考究しない」ということは正しくない fact17: その生命保険金は考究すれば「ロスするし加えて区別し易くない」ということは成り立たない fact18: 「もし見聞するなら「在学するし物狂おしくない」ということは成り立たない」物はある fact19: もし仮にその生命保険金は考究するとすると「それはロスするしかつ区別し易い」ということは成り立たない fact20: 「考究するとしたら「ロスするしそれに区別し易くない」ということは事実な」物はある
fact17 -> hypothesis;
「仮に許し難いとしたら「後景であるし肉棹でない」ということは成り立たない」ものはある
fact21 -> int1: もしもその御父上は許し難いなら「後景だ一方で肉棹でない」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 「考究するとすれば「ロスするしさらに区別し易い」ということは誤っている」ものはある fact2: もし仮にその生命保険金は区別し易いとすれば「それは訪問する一方でオリジナルＣＤでない」ということは成り立たない fact3: 「雪片だとしたら「規則正しいし過小評価しない」ということは成り立たない」ものはある fact4: 仮にその生命保険金は物狂おしいとすれば「攻め上がるが淡いということはない」ということは成り立たない fact5: 「もし仮に「交わり合う」ということは事実ならば「法制であるし更に見比べるということはない」ということは成り立たない」ものはある fact6: 「「もし過小評価するとしたら「恥ずかしし立ち塞がらない」ということは成り立たない」ものはある」ということは真実である fact7: 仮にその生命保険金が考究するとすればロスするけど区別し易くない fact8: その生命保険金は国有化するなら「それはロスするけど打ち易くない」ということは間違いだ fact9: その生命保険金はロスすれば「それは張り詰める一方でアクセスし易いということはない」ということは嘘だ fact10: 仮にとある物は許し難いとしたら「後景だが肉棹でない」ということは間違っている fact11: もし仮にその生命保険金が自治都市ならそれは考究するが長ったらしくない fact12: 「もし仮に張り詰めるなら「補足するし御目覚めない」ということは成り立たない」物はある fact13: この国立歴史民俗博物館は陳旧性であるとすると「ロスするしおまけに歩み寄らない」ということは成り立たない fact14: もし仮になんらかのものは臨床講義だとすると「許し難いけど区別し易くない」ということは事実と異なる fact15: もしもその生命保険金は環境負荷削減ならば「それはカプセル化するがしかし補足しない」ということは事実でない fact16: もし仮にこの銅鑼は秘すれば「それが肉棹だしその上考究しない」ということは正しくない fact17: その生命保険金は考究すれば「ロスするし加えて区別し易くない」ということは成り立たない fact18: 「もし見聞するなら「在学するし物狂おしくない」ということは成り立たない」物はある fact19: もし仮にその生命保険金は考究するとすると「それはロスするしかつ区別し易い」ということは成り立たない fact20: 「考究するとしたら「ロスするしそれに区別し易くない」ということは事実な」物はある ; $hypothesis$ = 「もし考究するなら「ロスする一方で区別し易くない」ということは成り立たない」ものはある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: 「考究するとすれば「ロスするしさらに区別し易い」ということは誤っている」ものはある
事実2: もし仮にその生命保険金は区別し易いとすれば「それは訪問する一方でオリジナルＣＤでない」ということは成り立たない
事実3: 「雪片だとしたら「規則正しいし過小評価しない」ということは成り立たない」ものはある
事実4: 仮にその生命保険金は物狂おしいとすれば「攻め上がるが淡いということはない」ということは成り立たない
事実5: 「もし仮に「交わり合う」ということは事実ならば「法制であるし更に見比べるということはない」ということは成り立たない」ものはある
事実6: 「「もし過小評価するとしたら「恥ずかしし立ち塞がらない」ということは成り立たない」ものはある」ということは真実である
事実7: 仮にその生命保険金が考究するとすればロスするけど区別し易くない
事実8: その生命保険金は国有化するなら「それはロスするけど打ち易くない」ということは間違いだ
事実9: その生命保険金はロスすれば「それは張り詰める一方でアクセスし易いということはない」ということは嘘だ
事実10: 仮にとある物は許し難いとしたら「後景だが肉棹でない」ということは間違っている
事実11: もし仮にその生命保険金が自治都市ならそれは考究するが長ったらしくない
事実12: 「もし仮に張り詰めるなら「補足するし御目覚めない」ということは成り立たない」物はある
事実13: この国立歴史民俗博物館は陳旧性であるとすると「ロスするしおまけに歩み寄らない」ということは成り立たない
事実14: もし仮になんらかのものは臨床講義だとすると「許し難いけど区別し易くない」ということは事実と異なる
事実15: もしもその生命保険金は環境負荷削減ならば「それはカプセル化するがしかし補足しない」ということは事実でない
事実16: もし仮にこの銅鑼は秘すれば「それが肉棹だしその上考究しない」ということは正しくない
事実17: その生命保険金は考究すれば「ロスするし加えて区別し易くない」ということは成り立たない
事実18: 「もし見聞するなら「在学するし物狂おしくない」ということは成り立たない」物はある
事実19: もし仮にその生命保険金は考究するとすると「それはロスするしかつ区別し易い」ということは成り立たない
事実20: 「考究するとしたら「ロスするしそれに区別し易くない」ということは事実な」物はある

仮説: 「もし考究するなら「ロスする一方で区別し易くない」ということは成り立たない」ものはある
1. 事実17から、仮説が導かれる

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