「仮に歩めるということはないとしたら「緩和出来ないけど形成出来る」ということは事実でない」ものはある
fact1: もしもその機能不全は歩めるないとしたら「それは緩和出来るし加えてそれは形成出来る」ということは成り立たない fact2: 「仮に「歩める」ということは間違いだとしたら「「緩和出来るし形成出来る」ということは成り立つ」ということは間違っている」ものはある fact3: 「もし仮に歩めるないとすれば緩和出来るということはないがしかし形成出来る」ものはある fact4: もし何かは宿さないならば「怒れないけど協働する」ということは事実と異なる fact5: もし仮にその機能不全は歩めるとすれば「それは緩和出来ないし形成出来る」ということは成り立たない fact6: 仮に「その機能不全は歩めるない」ということは事実であるとすれば「緩和出来なくて形成出来る」ということは誤っている fact7: 「仮に吸収され易くないとすれば「茶色くてかつエンパワーメントだ」ということは間違いな」物はある
fact6 -> hypothesis;
fact6 -> hypothesis;
「宿さないならば「怒れない一方で協働する」ということは間違いである」ものはある
fact8 -> int1: もしもその犬鷲は宿さないとしたら「怒れなくておまけに協働する」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もしもその機能不全は歩めるないとしたら「それは緩和出来るし加えてそれは形成出来る」ということは成り立たない fact2: 「仮に「歩める」ということは間違いだとしたら「「緩和出来るし形成出来る」ということは成り立つ」ということは間違っている」ものはある fact3: 「もし仮に歩めるないとすれば緩和出来るということはないがしかし形成出来る」ものはある fact4: もし何かは宿さないならば「怒れないけど協働する」ということは事実と異なる fact5: もし仮にその機能不全は歩めるとすれば「それは緩和出来ないし形成出来る」ということは成り立たない fact6: 仮に「その機能不全は歩めるない」ということは事実であるとすれば「緩和出来なくて形成出来る」ということは誤っている fact7: 「仮に吸収され易くないとすれば「茶色くてかつエンパワーメントだ」ということは間違いな」物はある ; $hypothesis$ = 「仮に歩めるということはないとしたら「緩和出来ないけど形成出来る」ということは事実でない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしもその機能不全は歩めるないとしたら「それは緩和出来るし加えてそれは形成出来る」ということは成り立たない
事実2: 「仮に「歩める」ということは間違いだとしたら「「緩和出来るし形成出来る」ということは成り立つ」ということは間違っている」ものはある
事実3: 「もし仮に歩めるないとすれば緩和出来るということはないがしかし形成出来る」ものはある
事実4: もし何かは宿さないならば「怒れないけど協働する」ということは事実と異なる
事実5: もし仮にその機能不全は歩めるとすれば「それは緩和出来ないし形成出来る」ということは成り立たない
事実6: 仮に「その機能不全は歩めるない」ということは事実であるとすれば「緩和出来なくて形成出来る」ということは誤っている
事実7: 「仮に吸収され易くないとすれば「茶色くてかつエンパワーメントだ」ということは間違いな」物はある

仮説: 「仮に歩めるということはないとしたら「緩和出来ないけど形成出来る」ということは事実でない」ものはある
1. 事実6から、仮説が導かれる

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