「もしもその近思録が例外無くないとするとその神経物質は黒っぽくて版である」ということは誤っている
fact1: 「この負荷状況は束ねる」ということは確かだとしたらその神経物質は黒っぽい fact2: もしも「なにがしかのものは返送しなくて更にトーストしない」ということは成り立たないとしたら食すということはない fact3: この負荷状況は例外無くない fact4: もし仮にその近思録が例外無いが接近し易くないとするとこの負荷状況は束ねる fact5: 「その神経物質は版だ」ということは成り立つ fact6: 「この負荷状況は遊び出さない」ということは真実である fact7: この負荷状況は遊び出さないとしたら「その近思録は返送しなくてしかもそれはトーストしない」ということは間違いだ fact8: もし仮にその神経物質が接近し易いならその近思録は版である fact9: もしもその近思録が例外無いとすればあの神経物質は黒っぽくておまけに版だ fact10: この負荷状況は黒っぽくない fact11: もし仮にその近思録が例外無くないし接近し易くないならこの負荷状況は束ねる fact12: 「その神経物質は例外無いということはない」ということは事実である fact13: 仮に「「その近思録は黒っぽくて更に接近し易い」ということは真実でない」ということは成り立つとするとその神経物質は接近し易いということはない fact14: もしなにかは食すないならばそれは黒っぽいし版だ fact15: 「仮に「何らかの物は接近し易い一方でそれは例外無くない」ということは偽であるとすればそれは束ねらない」ということは成り立つ fact16: 仮にその近思録は版でないとしたら「黒っぽくてさらに接近し易い」ということは成り立たない fact17: その近思録は接近し易くない
void -> assump1: 以下のように仮定する。「その近思録は例外無くない」ということは本当である; assump1 & fact17 -> int1: その近思録は例外無くないし接近し易くない; int1 & fact11 -> int2: この負荷状況は束ねる; int2 & fact1 -> int3: その神経物質は黒っぽい; int3 & fact5 -> int4: その神経物質は黒っぽいし版だ; [assump1] & int4 -> hypothesis;
「その功用は束ねるということはない」ということは成り立つ
fact22 -> int5: もしも「その功用は接近し易いけれど例外無くない」ということは成り立たないとすると束ねるということはない; fact18 -> int6: もしもその近思録が食すないならばそれは黒っぽいし版だ; fact20 -> int7: もし「その近思録は返送しないしその上トーストしない」ということは成り立つということはないなら食すない; fact21 & fact19 -> int8: 「その近思録は返送しなくてトーストしない」ということは成り立たない; int7 & int8 -> int9: その近思録は食すない; int6 & int9 -> int10: その近思録は黒っぽくて更に版である; int10 -> int11: 「その近思録は黒っぽい」ということは正しい; int11 -> int12: なにがしかの物は黒っぽい;
$facts$ = fact1: 「この負荷状況は束ねる」ということは確かだとしたらその神経物質は黒っぽい fact2: もしも「なにがしかのものは返送しなくて更にトーストしない」ということは成り立たないとしたら食すということはない fact3: この負荷状況は例外無くない fact4: もし仮にその近思録が例外無いが接近し易くないとするとこの負荷状況は束ねる fact5: 「その神経物質は版だ」ということは成り立つ fact6: 「この負荷状況は遊び出さない」ということは真実である fact7: この負荷状況は遊び出さないとしたら「その近思録は返送しなくてしかもそれはトーストしない」ということは間違いだ fact8: もし仮にその神経物質が接近し易いならその近思録は版である fact9: もしもその近思録が例外無いとすればあの神経物質は黒っぽくておまけに版だ fact10: この負荷状況は黒っぽくない fact11: もし仮にその近思録が例外無くないし接近し易くないならこの負荷状況は束ねる fact12: 「その神経物質は例外無いということはない」ということは事実である fact13: 仮に「「その近思録は黒っぽくて更に接近し易い」ということは真実でない」ということは成り立つとするとその神経物質は接近し易いということはない fact14: もしなにかは食すないならばそれは黒っぽいし版だ fact15: 「仮に「何らかの物は接近し易い一方でそれは例外無くない」ということは偽であるとすればそれは束ねらない」ということは成り立つ fact16: 仮にその近思録は版でないとしたら「黒っぽくてさらに接近し易い」ということは成り立たない fact17: その近思録は接近し易くない ; $hypothesis$ = 「もしもその近思録が例外無くないとするとその神経物質は黒っぽくて版である」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「その近思録は例外無くない」ということは本当である; assump1 & fact17 -> int1: その近思録は例外無くないし接近し易くない; int1 & fact11 -> int2: この負荷状況は束ねる; int2 & fact1 -> int3: その神経物質は黒っぽい; int3 & fact5 -> int4: その神経物質は黒っぽいし版だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「この負荷状況は束ねる」ということは確かだとしたらその神経物質は黒っぽい
事実2: もしも「なにがしかのものは返送しなくて更にトーストしない」ということは成り立たないとしたら食すということはない
事実3: この負荷状況は例外無くない
事実4: もし仮にその近思録が例外無いが接近し易くないとするとこの負荷状況は束ねる
事実5: 「その神経物質は版だ」ということは成り立つ
事実6: 「この負荷状況は遊び出さない」ということは真実である
事実7: この負荷状況は遊び出さないとしたら「その近思録は返送しなくてしかもそれはトーストしない」ということは間違いだ
事実8: もし仮にその神経物質が接近し易いならその近思録は版である
事実9: もしもその近思録が例外無いとすればあの神経物質は黒っぽくておまけに版だ
事実10: この負荷状況は黒っぽくない
事実11: もし仮にその近思録が例外無くないし接近し易くないならこの負荷状況は束ねる
事実12: 「その神経物質は例外無いということはない」ということは事実である
事実13: 仮に「「その近思録は黒っぽくて更に接近し易い」ということは真実でない」ということは成り立つとするとその神経物質は接近し易いということはない
事実14: もしなにかは食すないならばそれは黒っぽいし版だ
事実15: 「仮に「何らかの物は接近し易い一方でそれは例外無くない」ということは偽であるとすればそれは束ねらない」ということは成り立つ
事実16: 仮にその近思録は版でないとしたら「黒っぽくてさらに接近し易い」ということは成り立たない
事実17: その近思録は接近し易くない

仮説: 「もしもその近思録が例外無くないとするとその神経物質は黒っぽくて版である」ということは誤っている
1. 仮定1: 以下のように仮定する。「その近思録は例外無くない」ということは本当である
2. 仮定1と事実17から、推論1: "その近思録は例外無くないし接近し易くない"が導かれる
3. 推論1と事実11から、推論2: "この負荷状況は束ねる"が導かれる
4. 推論2と事実1から、推論3: "その神経物質は黒っぽい"が導かれる
5. 推論3と事実5から、推論4: "その神経物質は黒っぽいし版だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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