「もし仮にシーケンス制御でない一方で天狗らしいなら皮膚温な」物はある
fact1: 「シーケンス制御であるしまた天狗らしいとしたら皮膚温である」ものはある fact2: もしもこの欠除がシーケンス制御だし美しいなら青白い fact3: もしなにがしかの物が付き難くないがそれが表層雪崩だとしたら特製する fact4: もし仮にその商売がシーケンス制御でないが天狗らしいならば皮膚温である
fact4 -> hypothesis;
「仮に付き難くないけど表層雪崩であるとすると特製する」物はある
fact5 -> int1: もし仮に「この述部は付き難くない一方で表層雪崩である」ということは成り立てばそれは特製する; int1 -> hypothesis;
$facts$ = fact1: 「シーケンス制御であるしまた天狗らしいとしたら皮膚温である」ものはある fact2: もしもこの欠除がシーケンス制御だし美しいなら青白い fact3: もしなにがしかの物が付き難くないがそれが表層雪崩だとしたら特製する fact4: もし仮にその商売がシーケンス制御でないが天狗らしいならば皮膚温である ; $hypothesis$ = 「もし仮にシーケンス制御でない一方で天狗らしいなら皮膚温な」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「シーケンス制御であるしまた天狗らしいとしたら皮膚温である」ものはある
事実2: もしもこの欠除がシーケンス制御だし美しいなら青白い
事実3: もしなにがしかの物が付き難くないがそれが表層雪崩だとしたら特製する
事実4: もし仮にその商売がシーケンス制御でないが天狗らしいならば皮膚温である

仮説: 「もし仮にシーケンス制御でない一方で天狗らしいなら皮膚温な」物はある
1. 事実4から、仮説が導かれる

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