「「仮にピンクベージュだとすると取り扱い易い」ものはある」ということは成り立つということはない
fact1: 全ての物は懐こい fact2: 仮になにかは選択し直さないしさらにそれが取り扱い易くないならそれはピンクベージュだ fact3: もしも「「何らかの物は小賢しい一方で易しない」ということは成り立つ」ということは誤っているとすると小賢しくない fact4: もしそのくそ鎮はピンクベージュであるとすればそれは選択し直す fact5: もしもあるものは懐こいとすると「小賢しいし易しない」ということは間違いだ fact6: もし仮に何かは選択し直すとすれば取り扱い易い fact7: もし仮にそのくそ鎮が防除しないとするとその残りは選択し直さないしそれは取り扱い易いということはない fact8: もし「小賢しいということはない」ものはあるなら「「そのくそ鎮は粘っこくないしおまけに不作為であるということはない」ということは確かだ」ということは成り立たない fact9: 仮に「なにかは粘っこいということはないししかもそれは不作為でない」ということは間違っているとするとそれは防除しない
void -> assump1: 以下のように仮定する。そのくそ鎮はピンクベージュだ; fact4 & assump1 -> int1: そのくそ鎮は選択し直す; fact6 -> int2: そのくそ鎮が選択し直すとするとそれは取り扱い易い; int1 & int2 -> int3: そのくそ鎮は取り扱い易い; [assump1] & int3 -> int4: もしそのくそ鎮がピンクベージュならば取り扱い易い; int4 -> hypothesis;
その残りはピンクベージュである
fact15 -> int5: もし仮にその残りが選択し直さないししかも取り扱い易くないとすれば「ピンクベージュである」ということは成り立つ; fact14 -> int6: もし「そのくそ鎮は粘っこいということはなくて不作為でない」ということは成り立たないならそれは防除しない; fact10 -> int7: もしも「あの製造現場は小賢しいがしかし易しない」ということは事実と異なるとしたら「小賢しくない」ということは真実である; fact11 -> int8: もしあのダム・河口堰事業は懐こいとすると「小賢しいがしかし易しない」ということは成り立たない; fact16 -> int9: 「あのダム・河口堰事業は懐こい」ということは成り立つ; int8 & int9 -> int10: 「あのダム・河口堰事業は小賢しいけど易しない」ということは偽だ; int10 -> int11: それは小賢しいし易しないという物はない; int11 -> int12: 「あの製造現場は小賢しいがしかしそれは易しということはない」ということは成り立たない; int7 & int12 -> int13: あの製造現場は小賢しくない; int13 -> int14: 「小賢しくない」物はある; int14 & fact12 -> int15: 「そのくそ鎮は粘っこくないし不作為でない」ということは成り立たない; int6 & int15 -> int16: そのくそ鎮は防除しない; fact13 & int16 -> int17: その残りは選択し直さないし更に取り扱い易くない; int5 & int17 -> hypothesis;
$facts$ = fact1: 全ての物は懐こい fact2: 仮になにかは選択し直さないしさらにそれが取り扱い易くないならそれはピンクベージュだ fact3: もしも「「何らかの物は小賢しい一方で易しない」ということは成り立つ」ということは誤っているとすると小賢しくない fact4: もしそのくそ鎮はピンクベージュであるとすればそれは選択し直す fact5: もしもあるものは懐こいとすると「小賢しいし易しない」ということは間違いだ fact6: もし仮に何かは選択し直すとすれば取り扱い易い fact7: もし仮にそのくそ鎮が防除しないとするとその残りは選択し直さないしそれは取り扱い易いということはない fact8: もし「小賢しいということはない」ものはあるなら「「そのくそ鎮は粘っこくないしおまけに不作為であるということはない」ということは確かだ」ということは成り立たない fact9: 仮に「なにかは粘っこいということはないししかもそれは不作為でない」ということは間違っているとするとそれは防除しない ; $hypothesis$ = 「「仮にピンクベージュだとすると取り扱い易い」ものはある」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのくそ鎮はピンクベージュだ; fact4 & assump1 -> int1: そのくそ鎮は選択し直す; fact6 -> int2: そのくそ鎮が選択し直すとするとそれは取り扱い易い; int1 & int2 -> int3: そのくそ鎮は取り扱い易い; [assump1] & int3 -> int4: もしそのくそ鎮がピンクベージュならば取り扱い易い; int4 -> hypothesis; __DISPROVED__
事実1: 全ての物は懐こい
事実2: 仮になにかは選択し直さないしさらにそれが取り扱い易くないならそれはピンクベージュだ
事実3: もしも「「何らかの物は小賢しい一方で易しない」ということは成り立つ」ということは誤っているとすると小賢しくない
事実4: もしそのくそ鎮はピンクベージュであるとすればそれは選択し直す
事実5: もしもあるものは懐こいとすると「小賢しいし易しない」ということは間違いだ
事実6: もし仮に何かは選択し直すとすれば取り扱い易い
事実7: もし仮にそのくそ鎮が防除しないとするとその残りは選択し直さないしそれは取り扱い易いということはない
事実8: もし「小賢しいということはない」ものはあるなら「「そのくそ鎮は粘っこくないしおまけに不作為であるということはない」ということは確かだ」ということは成り立たない
事実9: 仮に「なにかは粘っこいということはないししかもそれは不作為でない」ということは間違っているとするとそれは防除しない

仮説: 「「仮にピンクベージュだとすると取り扱い易い」ものはある」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。そのくそ鎮はピンクベージュだ
2. 事実4と仮定1から、推論1: "そのくそ鎮は選択し直す"が導かれる
3. 事実6から、推論2: "そのくそ鎮が選択し直すとするとそれは取り扱い易い"が導かれる
4. 推論1と推論2から、推論3: "そのくそ鎮は取り扱い易い"が導かれる
5. [仮定1]と推論3から、推論4: "もしそのくそ鎮がピンクベージュならば取り扱い易い"が導かれる
6. 推論4から、仮説が否定される

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