「「離反するということはなくて加えて薄めない」ということは間違っているとすれば有り難しない」物はある
fact1: もしも「あの個体内はほろ苦くないし少量生産でない」ということは偽だとすると達磨ストーブでない fact2: 「仮に「離反しないが薄める」ということは成り立たないとしたら有り難しない」物はある fact3: もし仮に「なにかは御優しくなくてそれに転がり出るということはない」ということは成り立つということはないなら国土計画基本方針でない fact4: 「仮に「掴み易くなくて更に軸角でない」ということは成り立つということはないとしたら信平側でない」物はある fact5: 「もし仮に「償却するということはないしその上反体制運動でない」ということは成り立たないならば御めでたくない」物はある fact6: 「仮に離反するとしたら有り難しということはない」ものはある fact7: もし仮に「あの個体内は離反するということはないし更に薄めない」ということは偽だとすれば有り難し fact8: 「仮に離反しなくて薄めないとすれば有り難しない」ものはある fact9: もしも「あるものは慎ましくなくて更に限り無しない」ということは間違っているとするとそれはコンプライアンス統括部門でない fact10: あの個体内が薄めるとすればそれは有り難しない fact11: 「仮に薄めるとすれば有り難しない」ものはある fact12: 「仮に「誘引するということはないしおまけに二分しない」ということは嘘であるならば窮迫でない」物はある fact13: もし仮に「あの個体内は離反しないしおまけに薄めない」ということは間違いであるとしたら有り難しということはない fact14: もし仮に「あの個体内は離反しないしさらに薄めない」ということは誤りでないならば「それは有り難しない」ということは真実である fact15: 「もし「入れ易いということはないし慧眼でない」ということは偽であるならば基準点流量ルールでない」物はある fact16: 「もしも「離反するしそれに薄めるということはない」ということは誤りであるなら有り難しということはない」ものはある fact17: もし仮に「あの個体内は離反するということはなくてかつひっそりしない」ということは事実と異なるとしたらそれは真ん丸くない fact18: 仮に「あの個体内は離反するがしかしそれは薄めない」ということは間違いであるとしたらそれは有り難しない fact19: 「「「付き合い切れないしかつ調査分析するということはない」ということは成り立たないとすると外化しない」物はある」ということは成り立つ fact20: もし仮に「あの個体内は植林しないしまた離反しない」ということは確かでないならばそれは出芽するということはない fact21: 「仮に「離反しないし更に薄めるということはない」ということは成り立たないとすれば有り難し」ものはある
fact13 -> hypothesis;
fact13 -> hypothesis;
「もしも「御優しくないしまた転がり出ない」ということは事実と異なるなら国土計画基本方針でない」ものはある
fact22 -> 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$ = 
fact13 -> hypothesis; __PROVED__
事実1: もしも「あの個体内はほろ苦くないし少量生産でない」ということは偽だとすると達磨ストーブでない
事実2: 「仮に「離反しないが薄める」ということは成り立たないとしたら有り難しない」物はある
事実3: もし仮に「なにかは御優しくなくてそれに転がり出るということはない」ということは成り立つということはないなら国土計画基本方針でない
事実4: 「仮に「掴み易くなくて更に軸角でない」ということは成り立つということはないとしたら信平側でない」物はある
事実5: 「もし仮に「償却するということはないしその上反体制運動でない」ということは成り立たないならば御めでたくない」物はある
事実6: 「仮に離反するとしたら有り難しということはない」ものはある
事実7: もし仮に「あの個体内は離反するということはないし更に薄めない」ということは偽だとすれば有り難し
事実8: 「仮に離反しなくて薄めないとすれば有り難しない」ものはある
事実9: もしも「あるものは慎ましくなくて更に限り無しない」ということは間違っているとするとそれはコンプライアンス統括部門でない
事実10: あの個体内が薄めるとすればそれは有り難しない
事実11: 「仮に薄めるとすれば有り難しない」ものはある
事実12: 「仮に「誘引するということはないしおまけに二分しない」ということは嘘であるならば窮迫でない」物はある
事実13: もし仮に「あの個体内は離反しないしおまけに薄めない」ということは間違いであるとしたら有り難しということはない
事実14: もし仮に「あの個体内は離反しないしさらに薄めない」ということは誤りでないならば「それは有り難しない」ということは真実である
事実15: 「もし「入れ易いということはないし慧眼でない」ということは偽であるならば基準点流量ルールでない」物はある
事実16: 「もしも「離反するしそれに薄めるということはない」ということは誤りであるなら有り難しということはない」ものはある
事実17: もし仮に「あの個体内は離反するということはなくてかつひっそりしない」ということは事実と異なるとしたらそれは真ん丸くない
事実18: 仮に「あの個体内は離反するがしかしそれは薄めない」ということは間違いであるとしたらそれは有り難しない
事実19: 「「「付き合い切れないしかつ調査分析するということはない」ということは成り立たないとすると外化しない」物はある」ということは成り立つ
事実20: もし仮に「あの個体内は植林しないしまた離反しない」ということは確かでないならばそれは出芽するということはない
事実21: 「仮に「離反しないし更に薄めるということはない」ということは成り立たないとすれば有り難し」ものはある

仮説: 「「離反するということはなくて加えて薄めない」ということは間違っているとすれば有り難しない」物はある
1. 事実13から、仮説が導かれる

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