「あのピクセル単位は異ならないなら「そのＮＥＡＬは撫で付けるしＩＣＤだ」ということは嘘だ」ということは成り立たない
fact1: 「あのピクセル単位は見付け易いけれどそれは言い易くない」ということは成り立たないならばあのＮＥＡＬは打ち掛けない fact2: もしも「顕微鏡写真である」ものはあるとすれば「そのマンキューは顕微鏡写真でなくて冷め難くない」ということは誤りである fact3: もしも「「そのマンキューはＩＣＤであるけれどそれは撫で付けない」ということは成り立たない」ということは正しいならばそのＮＥＡＬは撫で付ける fact4: 仮に「そのＮＥＡＬは打ち掛ける」ということは嘘であるとすれば「撫で付けるし加えてＩＣＤだ」ということは間違っている fact5: 仮に「「打ち掛けるしおまけに異ならない」ということは成り立たない」物があるとするとあのピクセル単位は打ち掛けない fact6: そのジェンダー問題は育む fact7: もしも「「なにがしかの物は顕微鏡写真だということはないしさらに冷め難くない」ということは事実だ」ということは成り立たないとすると冷め難い fact8: もしも「なにがしかの物は育む」ということは真実だとしたらそれは顕微鏡写真である fact9: もし仮になにがしかのものは冷め難いとすると「それがＩＣＤだしかつ撫で付けない」ということは事実と異なる fact10: 「もしも何らかのものは撫で付けるとしたら「打ち掛けるけど異ならない」ということは成り立たない」ということは成り立つ fact11: もしもあのピクセル単位は異ならないとすれば「見付け易くて更にそれは言い易くない」ということは間違いだ
void -> assump1: 以下のように仮定する。あのピクセル単位は異ならない; fact11 & assump1 -> int1: 「あのピクセル単位は見付け易いけれど言い易くない」ということは正しくない; int1 & fact1 -> int2: そのＮＥＡＬは打ち掛けない; int2 & fact4 -> int3: 「そのＮＥＡＬは撫で付けるし加えてＩＣＤだ」ということは間違っている; [assump1] & int3 -> hypothesis;
あのピクセル単位は打ち掛けるということはない
fact15 -> int4: そのＮＥＡＬは撫で付けるとすれば「打ち掛けるしそれは異ならない」ということは偽だ; fact14 -> int5: もしそのマンキューは冷め難いとすると「ＩＣＤだし撫で付けない」ということは成り立たない; fact13 -> int6: 「仮に「そのマンキューは顕微鏡写真でなくて更に冷め難くない」ということは間違いならそのマンキューは冷め難い」ということは間違っていない; fact16 -> int7: もし「そのジェンダー問題は育む」ということは真実であるなら「それは顕微鏡写真だ」ということは成り立つ; int7 & fact17 -> int8: そのジェンダー問題は顕微鏡写真だ; int8 -> int9: 「顕微鏡写真な」ものはある; int9 & fact18 -> int10: 「そのマンキューは顕微鏡写真でないしさらに冷め難くない」ということは間違っている; int6 & int10 -> int11: そのマンキューは冷め難い; int5 & int11 -> int12: 「そのマンキューはＩＣＤだ一方で撫で付けない」ということは成り立つということはない; fact12 & int12 -> int13: そのＮＥＡＬは撫で付ける; int4 & int13 -> int14: 「そのＮＥＡＬは打ち掛けるがそれは異ならない」ということは事実と異なる; int14 -> int15: 「「打ち掛けるけど異ならない」ということは確かでない」ものはある; int15 & fact19 -> hypothesis;
$facts$ = fact1: 「あのピクセル単位は見付け易いけれどそれは言い易くない」ということは成り立たないならばあのＮＥＡＬは打ち掛けない fact2: もしも「顕微鏡写真である」ものはあるとすれば「そのマンキューは顕微鏡写真でなくて冷め難くない」ということは誤りである fact3: もしも「「そのマンキューはＩＣＤであるけれどそれは撫で付けない」ということは成り立たない」ということは正しいならばそのＮＥＡＬは撫で付ける fact4: 仮に「そのＮＥＡＬは打ち掛ける」ということは嘘であるとすれば「撫で付けるし加えてＩＣＤだ」ということは間違っている fact5: 仮に「「打ち掛けるしおまけに異ならない」ということは成り立たない」物があるとするとあのピクセル単位は打ち掛けない fact6: そのジェンダー問題は育む fact7: もしも「「なにがしかの物は顕微鏡写真だということはないしさらに冷め難くない」ということは事実だ」ということは成り立たないとすると冷め難い fact8: もしも「なにがしかの物は育む」ということは真実だとしたらそれは顕微鏡写真である fact9: もし仮になにがしかのものは冷め難いとすると「それがＩＣＤだしかつ撫で付けない」ということは事実と異なる fact10: 「もしも何らかのものは撫で付けるとしたら「打ち掛けるけど異ならない」ということは成り立たない」ということは成り立つ fact11: もしもあのピクセル単位は異ならないとすれば「見付け易くて更にそれは言い易くない」ということは間違いだ ; $hypothesis$ = 「あのピクセル単位は異ならないなら「そのＮＥＡＬは撫で付けるしＩＣＤだ」ということは嘘だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのピクセル単位は異ならない; fact11 & assump1 -> int1: 「あのピクセル単位は見付け易いけれど言い易くない」ということは正しくない; int1 & fact1 -> int2: そのＮＥＡＬは打ち掛けない; int2 & fact4 -> int3: 「そのＮＥＡＬは撫で付けるし加えてＩＣＤだ」ということは間違っている; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「あのピクセル単位は見付け易いけれどそれは言い易くない」ということは成り立たないならばあのＮＥＡＬは打ち掛けない
事実2: もしも「顕微鏡写真である」ものはあるとすれば「そのマンキューは顕微鏡写真でなくて冷め難くない」ということは誤りである
事実3: もしも「「そのマンキューはＩＣＤであるけれどそれは撫で付けない」ということは成り立たない」ということは正しいならばそのＮＥＡＬは撫で付ける
事実4: 仮に「そのＮＥＡＬは打ち掛ける」ということは嘘であるとすれば「撫で付けるし加えてＩＣＤだ」ということは間違っている
事実5: 仮に「「打ち掛けるしおまけに異ならない」ということは成り立たない」物があるとするとあのピクセル単位は打ち掛けない
事実6: そのジェンダー問題は育む
事実7: もしも「「なにがしかの物は顕微鏡写真だということはないしさらに冷め難くない」ということは事実だ」ということは成り立たないとすると冷め難い
事実8: もしも「なにがしかの物は育む」ということは真実だとしたらそれは顕微鏡写真である
事実9: もし仮になにがしかのものは冷め難いとすると「それがＩＣＤだしかつ撫で付けない」ということは事実と異なる
事実10: 「もしも何らかのものは撫で付けるとしたら「打ち掛けるけど異ならない」ということは成り立たない」ということは成り立つ
事実11: もしもあのピクセル単位は異ならないとすれば「見付け易くて更にそれは言い易くない」ということは間違いだ

仮説: 「あのピクセル単位は異ならないなら「そのＮＥＡＬは撫で付けるしＩＣＤだ」ということは嘘だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あのピクセル単位は異ならない
2. 事実11と仮定1から、推論1: "「あのピクセル単位は見付け易いけれど言い易くない」ということは正しくない"が導かれる
3. 推論1と事実1から、推論2: "そのＮＥＡＬは打ち掛けない"が導かれる
4. 推論2と事実4から、推論3: "「そのＮＥＡＬは撫で付けるし加えてＩＣＤだ」ということは間違っている"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。