このクーガーは白装束だ
fact1: もしもその三大都市圏が収まり切れるとするとあの平均回数は留め置く fact2: あの我々人類は白装束だ fact3: このクーガーは白装束である fact4: もし「なにかは留め置く」ということは確かであるとしたらそれは並走しないしさらに知恵遅れだということはない fact5: 仮になんらかのものは並走するとすれば「白装束だ」ということは本当である fact6: そのメンバーは白装束である fact7: もしも何かは収まり切れないならば留め置くしおまけに知恵遅れである fact8: このクーガーは変形出来る
fact3 -> hypothesis;
fact3 -> hypothesis;
このクーガーは白装束でない
fact9 -> int1: もし仮にあの平均回数が留め置けば並走するということはないしおまけに知恵遅れでない;
$facts$ = fact1: もしもその三大都市圏が収まり切れるとするとあの平均回数は留め置く fact2: あの我々人類は白装束だ fact3: このクーガーは白装束である fact4: もし「なにかは留め置く」ということは確かであるとしたらそれは並走しないしさらに知恵遅れだということはない fact5: 仮になんらかのものは並走するとすれば「白装束だ」ということは本当である fact6: そのメンバーは白装束である fact7: もしも何かは収まり切れないならば留め置くしおまけに知恵遅れである fact8: このクーガーは変形出来る ; $hypothesis$ = このクーガーは白装束だ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもその三大都市圏が収まり切れるとするとあの平均回数は留め置く
事実2: あの我々人類は白装束だ
事実3: このクーガーは白装束である
事実4: もし「なにかは留め置く」ということは確かであるとしたらそれは並走しないしさらに知恵遅れだということはない
事実5: 仮になんらかのものは並走するとすれば「白装束だ」ということは本当である
事実6: そのメンバーは白装束である
事実7: もしも何かは収まり切れないならば留め置くしおまけに知恵遅れである
事実8: このクーガーは変形出来る

仮説: このクーガーは白装束だ
1. 事実3から、仮説が導かれる

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