「仮に「活用出来るということはないし三十万人以上でない」ということは確かでないなら限り無くない」物はある
fact1: 「もしも「回送するということはない一方で繰り込む」ということは誤りだとすれば間近いということはない」物はある fact2: 「仮に「口汚くなくておまけに吐く」ということは成り立たないならば余儀無くない」物はある fact3: もし仮に「あの常磐井家は活用出来ないし徒らっぽいということはない」ということは事実と異なれば早明戦だ fact4: 仮に「あるものは定量化しないし更に叡慮でない」ということは成り立たないならばそれは落ち延びない fact5: もし「あの透析準備期は活用出来なくてその上三十万人以上でない」ということは成り立つということはないとしたら「限り無くない」ということは成り立つ fact6: 「「もし広しなら「ＣＮＶでない」ということは成り立つ」ものはある」ということは成り立つ fact7: 「仮に通貨だとすれば全力疾走しない」物はある fact8: 「仮に「称さないしエルサルク星系でない」ということは成り立たないならば付き難い」物はある fact9: 「「遊牧しないし与し易くない」ということは偽であるなら新国立劇場合唱団である」ものはある fact10: 「あの透析準備期は船舶でないしまた間近くない」ということは成り立たないならば三十万人以上だ
fact5 -> hypothesis;
「「定量化しなくてしかも叡慮でない」ということは事実と異なるとしたら落ち延びない」ものはある
fact11 -> int1: もし仮に「この大学教育研究センターは定量化しなくてかつそれは叡慮であるということはない」ということは成り立たないならばそれは落ち延びない; int1 -> hypothesis;
$facts$ = fact1: 「もしも「回送するということはない一方で繰り込む」ということは誤りだとすれば間近いということはない」物はある fact2: 「仮に「口汚くなくておまけに吐く」ということは成り立たないならば余儀無くない」物はある fact3: もし仮に「あの常磐井家は活用出来ないし徒らっぽいということはない」ということは事実と異なれば早明戦だ fact4: 仮に「あるものは定量化しないし更に叡慮でない」ということは成り立たないならばそれは落ち延びない fact5: もし「あの透析準備期は活用出来なくてその上三十万人以上でない」ということは成り立つということはないとしたら「限り無くない」ということは成り立つ fact6: 「「もし広しなら「ＣＮＶでない」ということは成り立つ」ものはある」ということは成り立つ fact7: 「仮に通貨だとすれば全力疾走しない」物はある fact8: 「仮に「称さないしエルサルク星系でない」ということは成り立たないならば付き難い」物はある fact9: 「「遊牧しないし与し易くない」ということは偽であるなら新国立劇場合唱団である」ものはある fact10: 「あの透析準備期は船舶でないしまた間近くない」ということは成り立たないならば三十万人以上だ ; $hypothesis$ = 「仮に「活用出来るということはないし三十万人以上でない」ということは確かでないなら限り無くない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もしも「回送するということはない一方で繰り込む」ということは誤りだとすれば間近いということはない」物はある
事実2: 「仮に「口汚くなくておまけに吐く」ということは成り立たないならば余儀無くない」物はある
事実3: もし仮に「あの常磐井家は活用出来ないし徒らっぽいということはない」ということは事実と異なれば早明戦だ
事実4: 仮に「あるものは定量化しないし更に叡慮でない」ということは成り立たないならばそれは落ち延びない
事実5: もし「あの透析準備期は活用出来なくてその上三十万人以上でない」ということは成り立つということはないとしたら「限り無くない」ということは成り立つ
事実6: 「「もし広しなら「ＣＮＶでない」ということは成り立つ」ものはある」ということは成り立つ
事実7: 「仮に通貨だとすれば全力疾走しない」物はある
事実8: 「仮に「称さないしエルサルク星系でない」ということは成り立たないならば付き難い」物はある
事実9: 「「遊牧しないし与し易くない」ということは偽であるなら新国立劇場合唱団である」ものはある
事実10: 「あの透析準備期は船舶でないしまた間近くない」ということは成り立たないならば三十万人以上だ

仮説: 「仮に「活用出来るということはないし三十万人以上でない」ということは確かでないなら限り無くない」物はある
1. 事実5から、仮説が導かれる

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