「もし落っこちないとしたら「勉強するけど二千一年後半でない」ということは成り立つということはない」ものはある
fact1: もし仮にその平泳ぎは二千一年後半であるということはないなら「それは背馳するしおまけに突っ走る」ということは嘘だ fact2: 「「仮に「落っこちない」ということは確かであるなら勉強するし加えて二千一年後半であるということはない」ものはある」ということは真実だ fact3: もし仮にその平泳ぎは落っこちないならば「それは勉強するが二千一年後半でない」ということは誤っている fact4: 仮にその割れ目系は参加し易くないならば「落っこちるしさらにそれはハディースであるということはない」ということは間違っている fact5: 「もしも「行われ易い」ということは事実ならば「「手痛くてしどけなくない」ということは真実だ」ということは確かでない」物はある fact6: もしも何かは繁殖し易いということはないとすれば「それは勉強するしかつそれは悪くない」ということは間違いだ fact7: 「もし仮に落っこちるとすると「勉強するけれど二千一年後半でない」ということは誤っている」物はある fact8: 「もし仕組まないとすれば「張り詰める一方で乗り続けるということはない」ということは間違いである」物はある fact9: もし仮にその平泳ぎは落っこちるなら「勉強するけれど二千一年後半でない」ということは成り立たない fact10: その平泳ぎは落っこちないならば「それは期末評価でそれに押し入れ棚である」ということは成り立たない fact11: 「もし仮に惜しいということはないなら食養法だけれど有り難しない」物はある fact12: その平泳ぎは落っこちるとすれば「上がれる一方で爪でない」ということは成り立たない fact13: 「落っこちるということはないならば「勉強するしおまけに二千一年後半だ」ということは事実と異なる」物はある fact14: もしもその平泳ぎは落っこちないとすれば「勉強するし二千一年後半である」ということは成り立たない fact15: 「生み出し続けないならば「早退するが飢え死にしない」ということは成り立たない」物はある fact16: 「もし「老妻でない」ということは本当であるとしたら「悪戯っぽいしおまけにＧオールドだ」ということは確かでない」物はある
fact3 -> hypothesis;
fact3 -> hypothesis;
もしこのドイツ自動車工業は繁殖し易くないなら「それは勉強するし加えてそれは悪くない」ということは成り立たない
fact17 -> hypothesis;
$facts$ = fact1: もし仮にその平泳ぎは二千一年後半であるということはないなら「それは背馳するしおまけに突っ走る」ということは嘘だ fact2: 「「仮に「落っこちない」ということは確かであるなら勉強するし加えて二千一年後半であるということはない」ものはある」ということは真実だ fact3: もし仮にその平泳ぎは落っこちないならば「それは勉強するが二千一年後半でない」ということは誤っている fact4: 仮にその割れ目系は参加し易くないならば「落っこちるしさらにそれはハディースであるということはない」ということは間違っている fact5: 「もしも「行われ易い」ということは事実ならば「「手痛くてしどけなくない」ということは真実だ」ということは確かでない」物はある fact6: もしも何かは繁殖し易いということはないとすれば「それは勉強するしかつそれは悪くない」ということは間違いだ fact7: 「もし仮に落っこちるとすると「勉強するけれど二千一年後半でない」ということは誤っている」物はある fact8: 「もし仕組まないとすれば「張り詰める一方で乗り続けるということはない」ということは間違いである」物はある fact9: もし仮にその平泳ぎは落っこちるなら「勉強するけれど二千一年後半でない」ということは成り立たない fact10: その平泳ぎは落っこちないならば「それは期末評価でそれに押し入れ棚である」ということは成り立たない fact11: 「もし仮に惜しいということはないなら食養法だけれど有り難しない」物はある fact12: その平泳ぎは落っこちるとすれば「上がれる一方で爪でない」ということは成り立たない fact13: 「落っこちるということはないならば「勉強するしおまけに二千一年後半だ」ということは事実と異なる」物はある fact14: もしもその平泳ぎは落っこちないとすれば「勉強するし二千一年後半である」ということは成り立たない fact15: 「生み出し続けないならば「早退するが飢え死にしない」ということは成り立たない」物はある fact16: 「もし「老妻でない」ということは本当であるとしたら「悪戯っぽいしおまけにＧオールドだ」ということは確かでない」物はある ; $hypothesis$ = 「もし落っこちないとしたら「勉強するけど二千一年後半でない」ということは成り立つということはない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮にその平泳ぎは二千一年後半であるということはないなら「それは背馳するしおまけに突っ走る」ということは嘘だ
事実2: 「「仮に「落っこちない」ということは確かであるなら勉強するし加えて二千一年後半であるということはない」ものはある」ということは真実だ
事実3: もし仮にその平泳ぎは落っこちないならば「それは勉強するが二千一年後半でない」ということは誤っている
事実4: 仮にその割れ目系は参加し易くないならば「落っこちるしさらにそれはハディースであるということはない」ということは間違っている
事実5: 「もしも「行われ易い」ということは事実ならば「「手痛くてしどけなくない」ということは真実だ」ということは確かでない」物はある
事実6: もしも何かは繁殖し易いということはないとすれば「それは勉強するしかつそれは悪くない」ということは間違いだ
事実7: 「もし仮に落っこちるとすると「勉強するけれど二千一年後半でない」ということは誤っている」物はある
事実8: 「もし仕組まないとすれば「張り詰める一方で乗り続けるということはない」ということは間違いである」物はある
事実9: もし仮にその平泳ぎは落っこちるなら「勉強するけれど二千一年後半でない」ということは成り立たない
事実10: その平泳ぎは落っこちないならば「それは期末評価でそれに押し入れ棚である」ということは成り立たない
事実11: 「もし仮に惜しいということはないなら食養法だけれど有り難しない」物はある
事実12: その平泳ぎは落っこちるとすれば「上がれる一方で爪でない」ということは成り立たない
事実13: 「落っこちるということはないならば「勉強するしおまけに二千一年後半だ」ということは事実と異なる」物はある
事実14: もしもその平泳ぎは落っこちないとすれば「勉強するし二千一年後半である」ということは成り立たない
事実15: 「生み出し続けないならば「早退するが飢え死にしない」ということは成り立たない」物はある
事実16: 「もし「老妻でない」ということは本当であるとしたら「悪戯っぽいしおまけにＧオールドだ」ということは確かでない」物はある

仮説: 「もし落っこちないとしたら「勉強するけど二千一年後半でない」ということは成り立つということはない」ものはある
1. 事実3から、仮説が導かれる

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