「もしも「展開し易いしかつ汚れ難くない」ということは間違っていればでっかい」ものはある
fact1: 仮にあのキーストーン種は展開し易くないとしたら「それは課す」ということは成り立つ fact2: もし「なんらかの物は把握し辛い一方で汚れ難くない」ということは事実でないとしたらそれは蒸留する fact3: もしもあの就業維持ケースは展開し易いがしかし汚れ難くないとするとそれはでっかい fact4: もしも「あの就業維持ケースは展開し易いけれど汚れ難くない」ということは誤りだとしたらそれはでっかい fact5: 「展開し易くて汚れ難くないとすると「でっかい」ということは成り立つ」ものはある
fact4 -> hypothesis;
fact4 -> hypothesis;
もしも「あの欠損部は把握し辛いけど汚れ難くない」ということは嘘であるならそれは蒸留する
fact6 -> hypothesis;
$facts$ = fact1: 仮にあのキーストーン種は展開し易くないとしたら「それは課す」ということは成り立つ fact2: もし「なんらかの物は把握し辛い一方で汚れ難くない」ということは事実でないとしたらそれは蒸留する fact3: もしもあの就業維持ケースは展開し易いがしかし汚れ難くないとするとそれはでっかい fact4: もしも「あの就業維持ケースは展開し易いけれど汚れ難くない」ということは誤りだとしたらそれはでっかい fact5: 「展開し易くて汚れ難くないとすると「でっかい」ということは成り立つ」ものはある ; $hypothesis$ = 「もしも「展開し易いしかつ汚れ難くない」ということは間違っていればでっかい」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にあのキーストーン種は展開し易くないとしたら「それは課す」ということは成り立つ
事実2: もし「なんらかの物は把握し辛い一方で汚れ難くない」ということは事実でないとしたらそれは蒸留する
事実3: もしもあの就業維持ケースは展開し易いがしかし汚れ難くないとするとそれはでっかい
事実4: もしも「あの就業維持ケースは展開し易いけれど汚れ難くない」ということは誤りだとしたらそれはでっかい
事実5: 「展開し易くて汚れ難くないとすると「でっかい」ということは成り立つ」ものはある

仮説: 「もしも「展開し易いしかつ汚れ難くない」ということは間違っていればでっかい」ものはある
1. 事実4から、仮説が導かれる

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