「「「塗り易いししかも砲術長でない」ということは成り立つということはない」物はある」ということは成り立つということはない
fact1: 仮にあの絡繰人形は心弱くないならば「塗り易いしかつ砲術長だ」ということは嘘だ fact2: もし仮にこの機動隊員がＢＥＤであるしその上限り無いなら「あの絡繰人形は心弱いということはない」ということは本当だ fact3: もしあの絡繰人形は塗り易くないならば「それは限り無いけど心弱くない」ということは間違いである fact4: 「あの絡繰人形は砲術長であるけどＢＥＤでない」ということは成り立たない fact5: あの絡繰人形は小難しいししかも固し fact6: もし仮になにかはＢＥＤでないとしたら「砲術長だが塗り易くない」ということは間違いだ fact7: この機動隊員が心弱くて塗り易いとするとあの絡繰人形はＢＥＤであるということはない fact8: もしこの機動隊員が塗り易くてそれに砲術長だとすればあの絡繰人形は限り無くない fact9: もし仮にあの絡繰人形は黴臭くないなら「それは心弱いしそれは罰則規定でない」ということは間違っている fact10: もしもなにがしかの物はＢＥＤでないとすれば「限り無いがしかし心弱くない」ということは間違いである fact11: 「「塗り易くてそれに限り無くない」ということは誤りな」物はある fact12: 「「引っ込めるしその上情けなくない」ということは誤っている」ものはある fact13: もしもこの機動隊員がＢＥＤでおまけにそれが砲術長ならあの絡繰人形は限り無くない fact14: 「「塗り易いし砲術長だ」ということは真実でない」物はある fact15: 「「塗り易いがしかし砲術長でない」物はある」ということは成り立つ fact16: この機動隊員はＢＥＤだしそれに限り無い fact17: もし何かは心弱くないなら「塗り易くて加えて砲術長だということはない」ということは間違いだ fact18: 「あの絡繰人形は塗り易くてまた砲術長である」ということは間違っている fact19: この機動隊員はＢＥＤだ fact20: もしも「なにがしかの物は心弱くない」ということは成り立てば「塗り易くてそれに砲術長だ」ということは真実でない
fact2 & fact16 -> int1: 「あの絡繰人形は心弱くない」ということは事実である; fact17 -> int2: もしもあの絡繰人形は心弱くないとすると「塗り易くて加えて砲術長でない」ということは事実と異なる; int1 & int2 -> int3: 「あの絡繰人形は塗り易いけどそれは砲術長でない」ということは嘘だ; int3 -> hypothesis;
$facts$ = fact1: 仮にあの絡繰人形は心弱くないならば「塗り易いしかつ砲術長だ」ということは嘘だ fact2: もし仮にこの機動隊員がＢＥＤであるしその上限り無いなら「あの絡繰人形は心弱いということはない」ということは本当だ fact3: もしあの絡繰人形は塗り易くないならば「それは限り無いけど心弱くない」ということは間違いである fact4: 「あの絡繰人形は砲術長であるけどＢＥＤでない」ということは成り立たない fact5: あの絡繰人形は小難しいししかも固し fact6: もし仮になにかはＢＥＤでないとしたら「砲術長だが塗り易くない」ということは間違いだ fact7: この機動隊員が心弱くて塗り易いとするとあの絡繰人形はＢＥＤであるということはない fact8: もしこの機動隊員が塗り易くてそれに砲術長だとすればあの絡繰人形は限り無くない fact9: もし仮にあの絡繰人形は黴臭くないなら「それは心弱いしそれは罰則規定でない」ということは間違っている fact10: もしもなにがしかの物はＢＥＤでないとすれば「限り無いがしかし心弱くない」ということは間違いである fact11: 「「塗り易くてそれに限り無くない」ということは誤りな」物はある fact12: 「「引っ込めるしその上情けなくない」ということは誤っている」ものはある fact13: もしもこの機動隊員がＢＥＤでおまけにそれが砲術長ならあの絡繰人形は限り無くない fact14: 「「塗り易いし砲術長だ」ということは真実でない」物はある fact15: 「「塗り易いがしかし砲術長でない」物はある」ということは成り立つ fact16: この機動隊員はＢＥＤだしそれに限り無い fact17: もし何かは心弱くないなら「塗り易くて加えて砲術長だということはない」ということは間違いだ fact18: 「あの絡繰人形は塗り易くてまた砲術長である」ということは間違っている fact19: この機動隊員はＢＥＤだ fact20: もしも「なにがしかの物は心弱くない」ということは成り立てば「塗り易くてそれに砲術長だ」ということは真実でない ; $hypothesis$ = 「「「塗り易いししかも砲術長でない」ということは成り立つということはない」物はある」ということは成り立つということはない ; $proof$ = 
fact2 & fact16 -> int1: 「あの絡繰人形は心弱くない」ということは事実である; fact17 -> int2: もしもあの絡繰人形は心弱くないとすると「塗り易くて加えて砲術長でない」ということは事実と異なる; int1 & int2 -> int3: 「あの絡繰人形は塗り易いけどそれは砲術長でない」ということは嘘だ; int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの絡繰人形は心弱くないならば「塗り易いしかつ砲術長だ」ということは嘘だ
事実2: もし仮にこの機動隊員がＢＥＤであるしその上限り無いなら「あの絡繰人形は心弱いということはない」ということは本当だ
事実3: もしあの絡繰人形は塗り易くないならば「それは限り無いけど心弱くない」ということは間違いである
事実4: 「あの絡繰人形は砲術長であるけどＢＥＤでない」ということは成り立たない
事実5: あの絡繰人形は小難しいししかも固し
事実6: もし仮になにかはＢＥＤでないとしたら「砲術長だが塗り易くない」ということは間違いだ
事実7: この機動隊員が心弱くて塗り易いとするとあの絡繰人形はＢＥＤであるということはない
事実8: もしこの機動隊員が塗り易くてそれに砲術長だとすればあの絡繰人形は限り無くない
事実9: もし仮にあの絡繰人形は黴臭くないなら「それは心弱いしそれは罰則規定でない」ということは間違っている
事実10: もしもなにがしかの物はＢＥＤでないとすれば「限り無いがしかし心弱くない」ということは間違いである
事実11: 「「塗り易くてそれに限り無くない」ということは誤りな」物はある
事実12: 「「引っ込めるしその上情けなくない」ということは誤っている」ものはある
事実13: もしもこの機動隊員がＢＥＤでおまけにそれが砲術長ならあの絡繰人形は限り無くない
事実14: 「「塗り易いし砲術長だ」ということは真実でない」物はある
事実15: 「「塗り易いがしかし砲術長でない」物はある」ということは成り立つ
事実16: この機動隊員はＢＥＤだしそれに限り無い
事実17: もし何かは心弱くないなら「塗り易くて加えて砲術長だということはない」ということは間違いだ
事実18: 「あの絡繰人形は塗り易くてまた砲術長である」ということは間違っている
事実19: この機動隊員はＢＥＤだ
事実20: もしも「なにがしかの物は心弱くない」ということは成り立てば「塗り易くてそれに砲術長だ」ということは真実でない

仮説: 「「「塗り易いししかも砲術長でない」ということは成り立つということはない」物はある」ということは成り立つということはない
1. 事実2と事実16から、推論1: "「あの絡繰人形は心弱くない」ということは事実である"が導かれる
2. 事実17から、推論2: "もしもあの絡繰人形は心弱くないとすると「塗り易くて加えて砲術長でない」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "「あの絡繰人形は塗り易いけどそれは砲術長でない」ということは嘘だ"が導かれる
4. 推論3から、仮説が否定される

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