「「もし仮に把握し易くないなら都市用水だということはないしまた染み込むということはない」ものはある」ということは成り立つ
fact1: 「「五文字であるということはない」ということは確かであるならキータイプしないし加えて御経でない」ものはある fact2: 「もし取得出来ないなら発進でなくて粘つかない」物はある fact3: 「もし法律用語でないならば「厚かましくないしかつ窶れない」ということは間違いでない」物はある fact4: 「もしも把握し易くないなら都市用水でないがしかし染み込む」物はある fact5: もしこのラグーンが染み込まないならばそれは憎々しくなくて御連絡しない fact6: あの女芯が松材でないなら染み込まないしそれは埋まらない fact7: 「もし仮に「把握し易いということはない」ということは本当なら「都市用水であるということはない」ということは成り立つ」物はある fact8: 仮にこのラグーンが把握し易くないとすればそれは都市用水であるし染み込むということはない fact9: 「このラグーンは把握し易くない」ということは確かであるならそれは都市用水でないし染み込まない fact10: 「仮に繋ぎ合わせないとすれば「納得しないしさらに断定し難いということはない」ということは成り立つ」物はある fact11: もしとあるものが全力疾走するということはないとすると裁判活動だということはないしまたそれは擽ったくない fact12: 「各消防署でないなら惜しみ無くないしおまけにＲＡＮＤでない」物はある fact13: もしこのラグーンが都市用水でないとすれば送致するということはないしさらに湾曲しない fact14: 「仮に把握し易くないなら染み込むということはない」ものはある fact15: もしもこのラグーンが言わさないならオリゴペプチドでなくて桐ダンスでない fact16: 「仮に把握し易いということはないとすれば都市用水であるけれど染み込まない」ものはある fact17: このラグーンが把握し易いとすればそれは都市用水でなくてその上それは染み込まない fact18: もしもこのラグーンは把握し易くないとすると染み込むということはない fact19: 「もしも把握し易いとしたら都市用水でないしかつ染み込まない」ものはある
fact9 -> hypothesis;
fact9 -> hypothesis;
「仮に全力疾走するということはないなら裁判活動でないしそれに擽ったくない」ものはある
fact20 -> int1: その利用日が全力疾走しないとするとそれは裁判活動でないしおまけに擽ったくない; int1 -> hypothesis;
$facts$ = fact1: 「「五文字であるということはない」ということは確かであるならキータイプしないし加えて御経でない」ものはある fact2: 「もし取得出来ないなら発進でなくて粘つかない」物はある fact3: 「もし法律用語でないならば「厚かましくないしかつ窶れない」ということは間違いでない」物はある fact4: 「もしも把握し易くないなら都市用水でないがしかし染み込む」物はある fact5: もしこのラグーンが染み込まないならばそれは憎々しくなくて御連絡しない fact6: あの女芯が松材でないなら染み込まないしそれは埋まらない fact7: 「もし仮に「把握し易いということはない」ということは本当なら「都市用水であるということはない」ということは成り立つ」物はある fact8: 仮にこのラグーンが把握し易くないとすればそれは都市用水であるし染み込むということはない fact9: 「このラグーンは把握し易くない」ということは確かであるならそれは都市用水でないし染み込まない fact10: 「仮に繋ぎ合わせないとすれば「納得しないしさらに断定し難いということはない」ということは成り立つ」物はある fact11: もしとあるものが全力疾走するということはないとすると裁判活動だということはないしまたそれは擽ったくない fact12: 「各消防署でないなら惜しみ無くないしおまけにＲＡＮＤでない」物はある fact13: もしこのラグーンが都市用水でないとすれば送致するということはないしさらに湾曲しない fact14: 「仮に把握し易くないなら染み込むということはない」ものはある fact15: もしもこのラグーンが言わさないならオリゴペプチドでなくて桐ダンスでない fact16: 「仮に把握し易いということはないとすれば都市用水であるけれど染み込まない」ものはある fact17: このラグーンが把握し易いとすればそれは都市用水でなくてその上それは染み込まない fact18: もしもこのラグーンは把握し易くないとすると染み込むということはない fact19: 「もしも把握し易いとしたら都市用水でないしかつ染み込まない」ものはある ; $hypothesis$ = 「「もし仮に把握し易くないなら都市用水だということはないしまた染み込むということはない」ものはある」ということは成り立つ ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「「五文字であるということはない」ということは確かであるならキータイプしないし加えて御経でない」ものはある
事実2: 「もし取得出来ないなら発進でなくて粘つかない」物はある
事実3: 「もし法律用語でないならば「厚かましくないしかつ窶れない」ということは間違いでない」物はある
事実4: 「もしも把握し易くないなら都市用水でないがしかし染み込む」物はある
事実5: もしこのラグーンが染み込まないならばそれは憎々しくなくて御連絡しない
事実6: あの女芯が松材でないなら染み込まないしそれは埋まらない
事実7: 「もし仮に「把握し易いということはない」ということは本当なら「都市用水であるということはない」ということは成り立つ」物はある
事実8: 仮にこのラグーンが把握し易くないとすればそれは都市用水であるし染み込むということはない
事実9: 「このラグーンは把握し易くない」ということは確かであるならそれは都市用水でないし染み込まない
事実10: 「仮に繋ぎ合わせないとすれば「納得しないしさらに断定し難いということはない」ということは成り立つ」物はある
事実11: もしとあるものが全力疾走するということはないとすると裁判活動だということはないしまたそれは擽ったくない
事実12: 「各消防署でないなら惜しみ無くないしおまけにＲＡＮＤでない」物はある
事実13: もしこのラグーンが都市用水でないとすれば送致するということはないしさらに湾曲しない
事実14: 「仮に把握し易くないなら染み込むということはない」ものはある
事実15: もしもこのラグーンが言わさないならオリゴペプチドでなくて桐ダンスでない
事実16: 「仮に把握し易いということはないとすれば都市用水であるけれど染み込まない」ものはある
事実17: このラグーンが把握し易いとすればそれは都市用水でなくてその上それは染み込まない
事実18: もしもこのラグーンは把握し易くないとすると染み込むということはない
事実19: 「もしも把握し易いとしたら都市用水でないしかつ染み込まない」ものはある

仮説: 「「もし仮に把握し易くないなら都市用水だということはないしまた染み込むということはない」ものはある」ということは成り立つ
1. 事実9から、仮説が導かれる

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