その急降下は習い出さない
fact1: その一定地域は目まぐるしかない fact2: 「武である」ものはある fact3: もしもこの万難が目まぐるしかないとするとその一定地域は目まぐるしかないけど受け取り金である fact4: その一定地域はウーライトでない fact5: 目まぐるしいものが受け取り金であるとするとその急降下は習い出さない fact6: 「習い出さない」ものはある fact7: もしも「「この万難は緻密さであるかまたはそれは来難いということはないかもしくは両方だ」ということは成り立たない」ということは確かであるとするとその急降下は来難くない fact8: もし仮になにがしかの物は受け取り金であるならばそれは習い出す fact9: この万難はウーライトであるかまたは連想し易い fact10: 「造形化しない」物はある fact11: その急降下は習い出すかあるいはウーライトであるかあるいは両方だ fact12: もしその急降下がウーライトだとすると習い出さない fact13: あのブラウザー上は目まぐるしかないがしかしそれは予測し易い fact14: 「習い出す」ものはある fact15: もしも何かは目まぐるしかないけど受け取り金だとしたらその急降下は習い出さない fact16: その急降下は目まぐるしかない fact17: 来難くない物は目まぐるしいしその上受け取り金だ fact18: もし仮にこの万難は連想し易いということはないとしたら「その急降下は連想し易くないけど習い出す」ということは本当だ fact19: もし連想し易くない物がウーライトならこの万難は目まぐるしかない fact20: もしもこの万難はウーライトであるか連想し易いとしたらそれは目まぐるしかない fact21: その急降下は受け取り金なら「それは習い出さない」ということは確かだ fact22: もしその一定地域が受け取り金でないとするとこの万難は受け取り金だということはない
fact20 & fact9 -> int1: この万難は目まぐるしかない; int1 & fact3 -> int2: その一定地域は目まぐるしいということはないが受け取り金である; int2 -> int3: なにがしかのものは目まぐるしいということはない一方でそれは受け取り金だ; int3 & fact15 -> hypothesis;
その急降下は習い出す
fact23 -> int4: もしも「その急降下は受け取り金だ」ということは正しいならば習い出す; fact25 -> int5: もしもその急降下が来難くないならそれは目まぐるしいし受け取り金である;
$facts$ = fact1: その一定地域は目まぐるしかない fact2: 「武である」ものはある fact3: もしもこの万難が目まぐるしかないとするとその一定地域は目まぐるしかないけど受け取り金である fact4: その一定地域はウーライトでない fact5: 目まぐるしいものが受け取り金であるとするとその急降下は習い出さない fact6: 「習い出さない」ものはある fact7: もしも「「この万難は緻密さであるかまたはそれは来難いということはないかもしくは両方だ」ということは成り立たない」ということは確かであるとするとその急降下は来難くない fact8: もし仮になにがしかの物は受け取り金であるならばそれは習い出す fact9: この万難はウーライトであるかまたは連想し易い fact10: 「造形化しない」物はある fact11: その急降下は習い出すかあるいはウーライトであるかあるいは両方だ fact12: もしその急降下がウーライトだとすると習い出さない fact13: あのブラウザー上は目まぐるしかないがしかしそれは予測し易い fact14: 「習い出す」ものはある fact15: もしも何かは目まぐるしかないけど受け取り金だとしたらその急降下は習い出さない fact16: その急降下は目まぐるしかない fact17: 来難くない物は目まぐるしいしその上受け取り金だ fact18: もし仮にこの万難は連想し易いということはないとしたら「その急降下は連想し易くないけど習い出す」ということは本当だ fact19: もし連想し易くない物がウーライトならこの万難は目まぐるしかない fact20: もしもこの万難はウーライトであるか連想し易いとしたらそれは目まぐるしかない fact21: その急降下は受け取り金なら「それは習い出さない」ということは確かだ fact22: もしその一定地域が受け取り金でないとするとこの万難は受け取り金だということはない ; $hypothesis$ = その急降下は習い出さない ; $proof$ = 
fact20 & fact9 -> int1: この万難は目まぐるしかない; int1 & fact3 -> int2: その一定地域は目まぐるしいということはないが受け取り金である; int2 -> int3: なにがしかのものは目まぐるしいということはない一方でそれは受け取り金だ; int3 & fact15 -> hypothesis; __PROVED__
事実1: その一定地域は目まぐるしかない
事実2: 「武である」ものはある
事実3: もしもこの万難が目まぐるしかないとするとその一定地域は目まぐるしかないけど受け取り金である
事実4: その一定地域はウーライトでない
事実5: 目まぐるしいものが受け取り金であるとするとその急降下は習い出さない
事実6: 「習い出さない」ものはある
事実7: もしも「「この万難は緻密さであるかまたはそれは来難いということはないかもしくは両方だ」ということは成り立たない」ということは確かであるとするとその急降下は来難くない
事実8: もし仮になにがしかの物は受け取り金であるならばそれは習い出す
事実9: この万難はウーライトであるかまたは連想し易い
事実10: 「造形化しない」物はある
事実11: その急降下は習い出すかあるいはウーライトであるかあるいは両方だ
事実12: もしその急降下がウーライトだとすると習い出さない
事実13: あのブラウザー上は目まぐるしかないがしかしそれは予測し易い
事実14: 「習い出す」ものはある
事実15: もしも何かは目まぐるしかないけど受け取り金だとしたらその急降下は習い出さない
事実16: その急降下は目まぐるしかない
事実17: 来難くない物は目まぐるしいしその上受け取り金だ
事実18: もし仮にこの万難は連想し易いということはないとしたら「その急降下は連想し易くないけど習い出す」ということは本当だ
事実19: もし連想し易くない物がウーライトならこの万難は目まぐるしかない
事実20: もしもこの万難はウーライトであるか連想し易いとしたらそれは目まぐるしかない
事実21: その急降下は受け取り金なら「それは習い出さない」ということは確かだ
事実22: もしその一定地域が受け取り金でないとするとこの万難は受け取り金だということはない

仮説: その急降下は習い出さない
1. 事実20と事実9から、推論1: "この万難は目まぐるしかない"が導かれる
2. 推論1と事実3から、推論2: "その一定地域は目まぐるしいということはないが受け取り金である"が導かれる
3. 推論2から、推論3: "なにがしかのものは目まぐるしいということはない一方でそれは受け取り金だ"が導かれる
4. 推論3と事実15から、仮説が導かれる

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