「もしも薄らぐがしかし埋め合わせないとすると「管理すということはない」ということは本当な」ものはある
fact1: 「薄らぐししかも埋め合わせないとしたら管理す」物はある fact2: 「「もしも薄らぐし埋め合わせれば「管理すらない」ということは成り立つ」ものはある」ということは本当だ fact3: もしその青木蛾原溶岩流が薄らぐがそれが埋め合わせないとすると管理す fact4: 仮にその青木蛾原溶岩流が薄らぐしそれが埋め合わせるとすれば管理すらない fact5: もし仮になんらかの物が予見し得るがしかし画しないとすれば「それは木鉢でない」ということは事実だ fact6: 仮にその青木蛾原溶岩流が薄らぐがしかし埋め合わせないなら管理すということはない
fact6 -> hypothesis;
fact6 -> hypothesis;
「もし仮に予見し得るしおまけに画しないとすれば「木鉢でない」ということは真実な」ものはある
fact7 -> int1: もし仮にこの創造仕事は予見し得る一方で画しないならばそれは木鉢でない; int1 -> hypothesis;
$facts$ = fact1: 「薄らぐししかも埋め合わせないとしたら管理す」物はある fact2: 「「もしも薄らぐし埋め合わせれば「管理すらない」ということは成り立つ」ものはある」ということは本当だ fact3: もしその青木蛾原溶岩流が薄らぐがそれが埋め合わせないとすると管理す fact4: 仮にその青木蛾原溶岩流が薄らぐしそれが埋め合わせるとすれば管理すらない fact5: もし仮になんらかの物が予見し得るがしかし画しないとすれば「それは木鉢でない」ということは事実だ fact6: 仮にその青木蛾原溶岩流が薄らぐがしかし埋め合わせないなら管理すということはない ; $hypothesis$ = 「もしも薄らぐがしかし埋め合わせないとすると「管理すということはない」ということは本当な」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「薄らぐししかも埋め合わせないとしたら管理す」物はある
事実2: 「「もしも薄らぐし埋め合わせれば「管理すらない」ということは成り立つ」ものはある」ということは本当だ
事実3: もしその青木蛾原溶岩流が薄らぐがそれが埋め合わせないとすると管理す
事実4: 仮にその青木蛾原溶岩流が薄らぐしそれが埋め合わせるとすれば管理すらない
事実5: もし仮になんらかの物が予見し得るがしかし画しないとすれば「それは木鉢でない」ということは事実だ
事実6: 仮にその青木蛾原溶岩流が薄らぐがしかし埋め合わせないなら管理すということはない

仮説: 「もしも薄らぐがしかし埋め合わせないとすると「管理すということはない」ということは本当な」ものはある
1. 事実6から、仮説が導かれる

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