「もしも「守り易い」ということは嘘ならば集まり易くないがしかし食べ尽くす」物はある
fact1: その臨界管理が守り易くないならばそれは集まり易くなくてそれは食べ尽くす fact2: もしもその臨界管理が守り易くないなら集まり易いしおまけにそれは食べ尽くす fact3: 「もしも守り易いとすると集まり易くないしさらに食べ尽くす」ものはある fact4: 「「もし守り易くないとすれば食べ尽くす」ものはある」ということは成り立つ fact5: もし仮にとあるものが絞り出さないなら差し出はましくらなくて加えて黄色い fact6: もしこの脊髄神経根が塞ぐとするとそれは食べ尽くさないがしかしぼやける fact7: 「仮に守り易くないとしたら集まり易くない」物はある fact8: もしその臨界管理が払い切れないとしたらそれは守り易くなくて来難い
fact1 -> hypothesis;
「絞り出さないなら差し出がましいということはないけど黄色い」物はある
fact9 -> int1: 仮にこの面識が絞り出さないとするとそれが差し出はましくらなくてそれは黄色い; int1 -> hypothesis;
$facts$ = fact1: その臨界管理が守り易くないならばそれは集まり易くなくてそれは食べ尽くす fact2: もしもその臨界管理が守り易くないなら集まり易いしおまけにそれは食べ尽くす fact3: 「もしも守り易いとすると集まり易くないしさらに食べ尽くす」ものはある fact4: 「「もし守り易くないとすれば食べ尽くす」ものはある」ということは成り立つ fact5: もし仮にとあるものが絞り出さないなら差し出はましくらなくて加えて黄色い fact6: もしこの脊髄神経根が塞ぐとするとそれは食べ尽くさないがしかしぼやける fact7: 「仮に守り易くないとしたら集まり易くない」物はある fact8: もしその臨界管理が払い切れないとしたらそれは守り易くなくて来難い ; $hypothesis$ = 「もしも「守り易い」ということは嘘ならば集まり易くないがしかし食べ尽くす」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その臨界管理が守り易くないならばそれは集まり易くなくてそれは食べ尽くす
事実2: もしもその臨界管理が守り易くないなら集まり易いしおまけにそれは食べ尽くす
事実3: 「もしも守り易いとすると集まり易くないしさらに食べ尽くす」ものはある
事実4: 「「もし守り易くないとすれば食べ尽くす」ものはある」ということは成り立つ
事実5: もし仮にとあるものが絞り出さないなら差し出はましくらなくて加えて黄色い
事実6: もしこの脊髄神経根が塞ぐとするとそれは食べ尽くさないがしかしぼやける
事実7: 「仮に守り易くないとしたら集まり易くない」物はある
事実8: もしその臨界管理が払い切れないとしたらそれは守り易くなくて来難い

仮説: 「もしも「守り易い」ということは嘘ならば集まり易くないがしかし食べ尽くす」物はある
1. 事実1から、仮説が導かれる

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