「もしも扱い難くて更にさ行だとしたら給付対象でない」ものはある
fact1: もし天使らしい物が揮発し易いとすれば進呈しない fact2: 「もし仮に吸収され易いし他愛無いとすればコントロールし易くない」物はある fact3: 「もし総労働時間数であるし壁板であるなら引っ張り始めるということはない」ものはある fact4: もしもこの高さが扱い難いしその上さ行であるならそれは給付対象だということはない fact5: 「もし扱い難いしさらにさ行であるとすれば「給付対象でない」ということは偽な」物はある fact6: 仮にあの千四百五十八例が共有持分だし更にそれはバルセロナ・カザルス管弦楽団であるとすればそれはコンストラクターでない fact7: もしこの高さが扱い難くて更にそれがさ行だとすれば給付対象である
fact4 -> hypothesis;
「もしも天使らしいしまた揮発し易いとしたら「進呈しない」ということは事実な」物はある
fact8 -> int1: もしもあの粘膜疹は天使らしいし加えて揮発し易いとするとそれは進呈するということはない; int1 -> hypothesis;
$facts$ = fact1: もし天使らしい物が揮発し易いとすれば進呈しない fact2: 「もし仮に吸収され易いし他愛無いとすればコントロールし易くない」物はある fact3: 「もし総労働時間数であるし壁板であるなら引っ張り始めるということはない」ものはある fact4: もしもこの高さが扱い難いしその上さ行であるならそれは給付対象だということはない fact5: 「もし扱い難いしさらにさ行であるとすれば「給付対象でない」ということは偽な」物はある fact6: 仮にあの千四百五十八例が共有持分だし更にそれはバルセロナ・カザルス管弦楽団であるとすればそれはコンストラクターでない fact7: もしこの高さが扱い難くて更にそれがさ行だとすれば給付対象である ; $hypothesis$ = 「もしも扱い難くて更にさ行だとしたら給付対象でない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし天使らしい物が揮発し易いとすれば進呈しない
事実2: 「もし仮に吸収され易いし他愛無いとすればコントロールし易くない」物はある
事実3: 「もし総労働時間数であるし壁板であるなら引っ張り始めるということはない」ものはある
事実4: もしもこの高さが扱い難いしその上さ行であるならそれは給付対象だということはない
事実5: 「もし扱い難いしさらにさ行であるとすれば「給付対象でない」ということは偽な」物はある
事実6: 仮にあの千四百五十八例が共有持分だし更にそれはバルセロナ・カザルス管弦楽団であるとすればそれはコンストラクターでない
事実7: もしこの高さが扱い難くて更にそれがさ行だとすれば給付対象である

仮説: 「もしも扱い難くて更にさ行だとしたら給付対象でない」ものはある
1. 事実4から、仮説が導かれる

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