「「もし「注目すけれど砲兵だということはない」ということは偽なら「デジタル画像であるということはない」ということは成り立つ」物はある」ということは成り立つ
fact1: 仮にその材木商が注目すらないならばそれはデジタル画像でない fact2: 「もしも合宿するとしたら解凍しない」ものはある fact3: 仮に「何らかの物は上り易いがしかし解凍しない」ということは成り立たないとするとそれはパンクしない fact4: 「「もしも注目すらないとすればデジタル画像でない」ものはある」ということは誤りでない fact5: もし仮にその材木商が注目すけど砲兵でないとすればデジタル画像でない fact6: 仮に「その材木商は注目す一方で砲兵でない」ということは誤りであるならデジタル画像でない fact7: 「もし仮に遠出すれば「あっさりしない」ということは確かな」物はある
fact6 -> hypothesis;
「もし「上り易くて解凍しない」ということは間違いだとしたらパンクしない」ものはある
fact8 -> int1: もし「その有漏は上り易いが解凍しない」ということは成り立たないとしたらそれはパンクしない; int1 -> hypothesis;
$facts$ = fact1: 仮にその材木商が注目すらないならばそれはデジタル画像でない fact2: 「もしも合宿するとしたら解凍しない」ものはある fact3: 仮に「何らかの物は上り易いがしかし解凍しない」ということは成り立たないとするとそれはパンクしない fact4: 「「もしも注目すらないとすればデジタル画像でない」ものはある」ということは誤りでない fact5: もし仮にその材木商が注目すけど砲兵でないとすればデジタル画像でない fact6: 仮に「その材木商は注目す一方で砲兵でない」ということは誤りであるならデジタル画像でない fact7: 「もし仮に遠出すれば「あっさりしない」ということは確かな」物はある ; $hypothesis$ = 「「もし「注目すけれど砲兵だということはない」ということは偽なら「デジタル画像であるということはない」ということは成り立つ」物はある」ということは成り立つ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮にその材木商が注目すらないならばそれはデジタル画像でない
事実2: 「もしも合宿するとしたら解凍しない」ものはある
事実3: 仮に「何らかの物は上り易いがしかし解凍しない」ということは成り立たないとするとそれはパンクしない
事実4: 「「もしも注目すらないとすればデジタル画像でない」ものはある」ということは誤りでない
事実5: もし仮にその材木商が注目すけど砲兵でないとすればデジタル画像でない
事実6: 仮に「その材木商は注目す一方で砲兵でない」ということは誤りであるならデジタル画像でない
事実7: 「もし仮に遠出すれば「あっさりしない」ということは確かな」物はある

仮説: 「「もし「注目すけれど砲兵だということはない」ということは偽なら「デジタル画像であるということはない」ということは成り立つ」物はある」ということは成り立つ
1. 事実6から、仮説が導かれる

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