「もし仮に焼き固めないかまたは打開するかもしくは両方ともなら多核だということはない」物はある
fact1: 「仮に当面するということはないかあるいは賛成し難いかまたはどちらもだとすると「刻み込む」ということは本当である」ものはある fact2: 「仮に双鐗だということはないかもしくは生活協同組合であるかもしくは両方ならば「霊木だ」ということは成り立つ」物はある fact3: もしもあの内需は政策担当者でないかあるいは覆面であるかあるいはどちらもだとすると多核である fact4: 「もし「滲み始める」ということは成り立つとすると抜爪するということはない」物はある fact5: もし「あの内需は懐かしということはないかまたは野太い」ということは本当であるとすればそれは打開する fact6: なにがしかのものは懐かしないかもしくは放電するかどちらもなら接着しない fact7: もしあの内需は焼き固めるということはないかもしくは打開するかもしくは両方であるとすれば多核でない
fact7 -> hypothesis;
「もしも懐かしないかあるいは放電すれば接着しない」ものはある
fact8 -> int1: 仮にこの表示中が懐かしないか放電するかもしくは両方ともだとしたら「接着しない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「仮に当面するということはないかあるいは賛成し難いかまたはどちらもだとすると「刻み込む」ということは本当である」ものはある fact2: 「仮に双鐗だということはないかもしくは生活協同組合であるかもしくは両方ならば「霊木だ」ということは成り立つ」物はある fact3: もしもあの内需は政策担当者でないかあるいは覆面であるかあるいはどちらもだとすると多核である fact4: 「もし「滲み始める」ということは成り立つとすると抜爪するということはない」物はある fact5: もし「あの内需は懐かしということはないかまたは野太い」ということは本当であるとすればそれは打開する fact6: なにがしかのものは懐かしないかもしくは放電するかどちらもなら接着しない fact7: もしあの内需は焼き固めるということはないかもしくは打開するかもしくは両方であるとすれば多核でない ; $hypothesis$ = 「もし仮に焼き固めないかまたは打開するかもしくは両方ともなら多核だということはない」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「仮に当面するということはないかあるいは賛成し難いかまたはどちらもだとすると「刻み込む」ということは本当である」ものはある
事実2: 「仮に双鐗だということはないかもしくは生活協同組合であるかもしくは両方ならば「霊木だ」ということは成り立つ」物はある
事実3: もしもあの内需は政策担当者でないかあるいは覆面であるかあるいはどちらもだとすると多核である
事実4: 「もし「滲み始める」ということは成り立つとすると抜爪するということはない」物はある
事実5: もし「あの内需は懐かしということはないかまたは野太い」ということは本当であるとすればそれは打開する
事実6: なにがしかのものは懐かしないかもしくは放電するかどちらもなら接着しない
事実7: もしあの内需は焼き固めるということはないかもしくは打開するかもしくは両方であるとすれば多核でない

仮説: 「もし仮に焼き固めないかまたは打開するかもしくは両方ともなら多核だということはない」物はある
1. 事実7から、仮説が導かれる

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