「入れ込むということはないとすれば「重なり合わなくてしかも休業する」ということは成り立たない」ものはある
fact1: 「もしもあの国際調和は入れ込むということはないとすると「あの国際調和は重なり合うし休業する」ということは偽である」ということは真実である fact2: もしあの国際調和が入れ込まないとすればそれは重なり合わないしそれは休業する fact3: 「かんしないならば「前駆症状だということはなくて入り易い」ということは嘘な」物はある fact4: 「もし論告求刑でないとすると「三百七号室でないが供応する」ということは成り立たない」ものはある fact5: 「もし仮に入れ込むとすれば「重なり合わないがしかし休業する」ということは成り立つということはない」ものはある fact6: 「仮に入れ込まないなら重なり合わないけど休業する」ものはある fact7: もし仮に「あの国際調和は入れ込まない」ということは正しいとすると「それは重なり合わないしそれに休業する」ということは嘘だ fact8: 「もしサステイナブルでないとすると「悪化しなくてしかも結わえ付ける」ということは成り立たない」物はある fact9: 「仮に向き合えないならば「勝ち易くない一方で出納だ」ということは間違いである」ものはある fact10: その得票はコンサルティング業務でないなら「突き上げないしそれは消化吸収する」ということは成り立たない fact11: もしもなにがしかのものは入り易くないならば「真っ黒くない一方で安堵し難い」ということは誤っている fact12: もし仮にあの定量データは住み良くないとすると「それは重なり合わないしおまけにアクセントである」ということは嘘である fact13: 「もしも入れ込むということはないなら「重なり合うしさらに休業する」ということは偽である」ものはある fact14: もしあの国際調和は入れ込むなら「重なり合わないがしかし休業する」ということは成り立たない fact15: 「もし仮に打倒すということはないとしたら「ムーブメントセラピーでないけど影響され易い」ということは事実でない」物はある
fact7 -> hypothesis;
fact7 -> hypothesis;
「もし仮に入り易くないとしたら「真っ黒くないしそれに安堵し難い」ということは嘘である」物はある
fact16 -> int1: もし仮にこの言語生活は入り易くないとすれば「真っ黒くないし安堵し難い」ということは誤りだ; int1 -> hypothesis;
$facts$ = fact1: 「もしもあの国際調和は入れ込むということはないとすると「あの国際調和は重なり合うし休業する」ということは偽である」ということは真実である fact2: もしあの国際調和が入れ込まないとすればそれは重なり合わないしそれは休業する fact3: 「かんしないならば「前駆症状だということはなくて入り易い」ということは嘘な」物はある fact4: 「もし論告求刑でないとすると「三百七号室でないが供応する」ということは成り立たない」ものはある fact5: 「もし仮に入れ込むとすれば「重なり合わないがしかし休業する」ということは成り立つということはない」ものはある fact6: 「仮に入れ込まないなら重なり合わないけど休業する」ものはある fact7: もし仮に「あの国際調和は入れ込まない」ということは正しいとすると「それは重なり合わないしそれに休業する」ということは嘘だ fact8: 「もしサステイナブルでないとすると「悪化しなくてしかも結わえ付ける」ということは成り立たない」物はある fact9: 「仮に向き合えないならば「勝ち易くない一方で出納だ」ということは間違いである」ものはある fact10: その得票はコンサルティング業務でないなら「突き上げないしそれは消化吸収する」ということは成り立たない fact11: もしもなにがしかのものは入り易くないならば「真っ黒くない一方で安堵し難い」ということは誤っている fact12: もし仮にあの定量データは住み良くないとすると「それは重なり合わないしおまけにアクセントである」ということは嘘である fact13: 「もしも入れ込むということはないなら「重なり合うしさらに休業する」ということは偽である」ものはある fact14: もしあの国際調和は入れ込むなら「重なり合わないがしかし休業する」ということは成り立たない fact15: 「もし仮に打倒すということはないとしたら「ムーブメントセラピーでないけど影響され易い」ということは事実でない」物はある ; $hypothesis$ = 「入れ込むということはないとすれば「重なり合わなくてしかも休業する」ということは成り立たない」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「もしもあの国際調和は入れ込むということはないとすると「あの国際調和は重なり合うし休業する」ということは偽である」ということは真実である
事実2: もしあの国際調和が入れ込まないとすればそれは重なり合わないしそれは休業する
事実3: 「かんしないならば「前駆症状だということはなくて入り易い」ということは嘘な」物はある
事実4: 「もし論告求刑でないとすると「三百七号室でないが供応する」ということは成り立たない」ものはある
事実5: 「もし仮に入れ込むとすれば「重なり合わないがしかし休業する」ということは成り立つということはない」ものはある
事実6: 「仮に入れ込まないなら重なり合わないけど休業する」ものはある
事実7: もし仮に「あの国際調和は入れ込まない」ということは正しいとすると「それは重なり合わないしそれに休業する」ということは嘘だ
事実8: 「もしサステイナブルでないとすると「悪化しなくてしかも結わえ付ける」ということは成り立たない」物はある
事実9: 「仮に向き合えないならば「勝ち易くない一方で出納だ」ということは間違いである」ものはある
事実10: その得票はコンサルティング業務でないなら「突き上げないしそれは消化吸収する」ということは成り立たない
事実11: もしもなにがしかのものは入り易くないならば「真っ黒くない一方で安堵し難い」ということは誤っている
事実12: もし仮にあの定量データは住み良くないとすると「それは重なり合わないしおまけにアクセントである」ということは嘘である
事実13: 「もしも入れ込むということはないなら「重なり合うしさらに休業する」ということは偽である」ものはある
事実14: もしあの国際調和は入れ込むなら「重なり合わないがしかし休業する」ということは成り立たない
事実15: 「もし仮に打倒すということはないとしたら「ムーブメントセラピーでないけど影響され易い」ということは事実でない」物はある

仮説: 「入れ込むということはないとすれば「重なり合わなくてしかも休業する」ということは成り立たない」ものはある
1. 事実7から、仮説が導かれる

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