この感覚毛は各種アプリケーションだということはない
fact1: もし仮になんらかの物が作成すらないとするとそれは各種アプリケーションでかつ肥満する fact2: 「この感覚毛は各種アプリケーションでなくて固有筋層でない」ということは確かだということはない fact3: もし仮に網衣は万が一でないならば作成すらない fact4: 「「「固有筋層であるけど各種アプリケーションだということはない」ということは事実だ」ということは確かであるということはない」ものはある fact5: 「「飛び退るし増え難くない」ということは誤っている」ものはある fact6: 「この感覚毛は固有筋層であるということはないしさらにそれは各種アプリケーションでない」ということは誤りである fact7: 「あの近傍は入り込める一方で各種アプリケーションでない」ということは誤りである fact8: 「あの近傍は各種アプリケーションだけれど入り込めない」ということは誤っている fact9: 「「入り込めないが固有筋層だ」ということは嘘な」ものはある fact10: 仮に「「各種アプリケーションでなくて固有筋層だということはない」ということは成り立たない」ものがあるとすればあの近傍は入り込めない fact11: 「「この感覚毛は入り込めるけれど各種アプリケーションでない」ということは成り立つということはない」ということは成り立つ fact12: 「「入り込めるけれど各種アプリケーションでない」ということは事実と異なる」物はある fact13: 「「意義深くない一方で話す」ということは間違いである」物はある fact14: 「あの近傍は入り込めなくてしかも固有筋層でない」ということは偽だ fact15: あの近傍は各種アプリケーションであるということはない fact16: 仮に「入り込める」物があるとすればこの感覚毛は各種アプリケーションでない fact17: 「この感覚毛はキープ出来ないししかもシックススでない」ということは偽だ fact18: もし「「入り込めるということはないし更に固有筋層でない」ということは偽な」物があるとすればあの感覚毛は各種アプリケーションでない fact19: 「なにがしかのものは入り込めるということはないしおまけに各種アプリケーションでない」ということは成り立つ fact20: 「「「固有筋層だということはないしまた各種アプリケーションでない」ということは成り立たない」ものはある」ということは本当である fact21: あの走査直線が皮でないならその私達自身は網衣だけれど万が一でない
fact14 -> int1: 「「入り込めないしおまけに固有筋層でない」ということは間違いな」物はある; int1 & fact18 -> hypothesis;
fact14 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact18 -> hypothesis;
この略記は固有筋層でない
fact22 -> int2: 仮にその私達自身が網衣である一方で万が一でないとしたら作成すらない;
$facts$ = fact1: もし仮になんらかの物が作成すらないとするとそれは各種アプリケーションでかつ肥満する fact2: 「この感覚毛は各種アプリケーションでなくて固有筋層でない」ということは確かだということはない fact3: もし仮に網衣は万が一でないならば作成すらない fact4: 「「「固有筋層であるけど各種アプリケーションだということはない」ということは事実だ」ということは確かであるということはない」ものはある fact5: 「「飛び退るし増え難くない」ということは誤っている」ものはある fact6: 「この感覚毛は固有筋層であるということはないしさらにそれは各種アプリケーションでない」ということは誤りである fact7: 「あの近傍は入り込める一方で各種アプリケーションでない」ということは誤りである fact8: 「あの近傍は各種アプリケーションだけれど入り込めない」ということは誤っている fact9: 「「入り込めないが固有筋層だ」ということは嘘な」ものはある fact10: 仮に「「各種アプリケーションでなくて固有筋層だということはない」ということは成り立たない」ものがあるとすればあの近傍は入り込めない fact11: 「「この感覚毛は入り込めるけれど各種アプリケーションでない」ということは成り立つということはない」ということは成り立つ fact12: 「「入り込めるけれど各種アプリケーションでない」ということは事実と異なる」物はある fact13: 「「意義深くない一方で話す」ということは間違いである」物はある fact14: 「あの近傍は入り込めなくてしかも固有筋層でない」ということは偽だ fact15: あの近傍は各種アプリケーションであるということはない fact16: 仮に「入り込める」物があるとすればこの感覚毛は各種アプリケーションでない fact17: 「この感覚毛はキープ出来ないししかもシックススでない」ということは偽だ fact18: もし「「入り込めるということはないし更に固有筋層でない」ということは偽な」物があるとすればあの感覚毛は各種アプリケーションでない fact19: 「なにがしかのものは入り込めるということはないしおまけに各種アプリケーションでない」ということは成り立つ fact20: 「「「固有筋層だということはないしまた各種アプリケーションでない」ということは成り立たない」ものはある」ということは本当である fact21: あの走査直線が皮でないならその私達自身は網衣だけれど万が一でない ; $hypothesis$ = この感覚毛は各種アプリケーションだということはない ; $proof$ = 
fact14 -> int1: 「「入り込めないしおまけに固有筋層でない」ということは間違いな」物はある; int1 & fact18 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が作成すらないとするとそれは各種アプリケーションでかつ肥満する
事実2: 「この感覚毛は各種アプリケーションでなくて固有筋層でない」ということは確かだということはない
事実3: もし仮に網衣は万が一でないならば作成すらない
事実4: 「「「固有筋層であるけど各種アプリケーションだということはない」ということは事実だ」ということは確かであるということはない」ものはある
事実5: 「「飛び退るし増え難くない」ということは誤っている」ものはある
事実6: 「この感覚毛は固有筋層であるということはないしさらにそれは各種アプリケーションでない」ということは誤りである
事実7: 「あの近傍は入り込める一方で各種アプリケーションでない」ということは誤りである
事実8: 「あの近傍は各種アプリケーションだけれど入り込めない」ということは誤っている
事実9: 「「入り込めないが固有筋層だ」ということは嘘な」ものはある
事実10: 仮に「「各種アプリケーションでなくて固有筋層だということはない」ということは成り立たない」ものがあるとすればあの近傍は入り込めない
事実11: 「「この感覚毛は入り込めるけれど各種アプリケーションでない」ということは成り立つということはない」ということは成り立つ
事実12: 「「入り込めるけれど各種アプリケーションでない」ということは事実と異なる」物はある
事実13: 「「意義深くない一方で話す」ということは間違いである」物はある
事実14: 「あの近傍は入り込めなくてしかも固有筋層でない」ということは偽だ
事実15: あの近傍は各種アプリケーションであるということはない
事実16: 仮に「入り込める」物があるとすればこの感覚毛は各種アプリケーションでない
事実17: 「この感覚毛はキープ出来ないししかもシックススでない」ということは偽だ
事実18: もし「「入り込めるということはないし更に固有筋層でない」ということは偽な」物があるとすればあの感覚毛は各種アプリケーションでない
事実19: 「なにがしかのものは入り込めるということはないしおまけに各種アプリケーションでない」ということは成り立つ
事実20: 「「「固有筋層だということはないしまた各種アプリケーションでない」ということは成り立たない」ものはある」ということは本当である
事実21: あの走査直線が皮でないならその私達自身は網衣だけれど万が一でない

仮説: この感覚毛は各種アプリケーションだということはない
1. 事実14から、推論1: "「「入り込めないしおまけに固有筋層でない」ということは間違いな」物はある"が導かれる
2. 推論1と事実18から、仮説が導かれる

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