あの布団包みは縫である
fact1: 「「とある物は漏れ無いか手っ取り早いかあるいは両方ともだ」ということは確かである」ということは成り立つということはないとすると「縫でない」ということは事実だ fact2: 「あの布団包みはピジン英語であるかもしくは得難くないかもしくはどちらもだ」ということは成り立たない fact3: あの布団包みは得難い fact4: もし仮に「何らかの物はピジン英語であるかまたは得難いかもしくは両方ともだ」ということは偽だとしたらそれは縫でない fact5: もし「あの布団包みはピジン英語であるかもしくは得難いかもしくはどちらもだ」ということは本当であるということはないとすれば「縫でない」ということは成り立つ fact6: もし「なにがしかのものはピジン英語であるかもしくは得難くない」ということは確かでないとすれば縫でない fact7: 仮に何らかの物は申告するということはないとしたら「それは漏れ無いか手っ取り早い」ということは誤りだ
fact6 -> int1: もし「あの布団包みはピジン英語であるかまたはそれは得難くないかまたは両方だ」ということは誤りだとすれば縫でない; int1 & fact2 -> hypothesis;
fact6 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis;
そのアンドロゲンは縫でない
fact8 -> int2: もし「そのアンドロゲンは漏れ無いかもしくは手っ取り早い」ということは間違いであるとしたらそれは縫でない; fact9 -> int3: 仮にそのアンドロゲンは申告しないならば「それは漏れ無いかもしくは手っ取り早いかあるいは両方ともだ」ということは偽である;
$facts$ = fact1: 「「とある物は漏れ無いか手っ取り早いかあるいは両方ともだ」ということは確かである」ということは成り立つということはないとすると「縫でない」ということは事実だ fact2: 「あの布団包みはピジン英語であるかもしくは得難くないかもしくはどちらもだ」ということは成り立たない fact3: あの布団包みは得難い fact4: もし仮に「何らかの物はピジン英語であるかまたは得難いかもしくは両方ともだ」ということは偽だとしたらそれは縫でない fact5: もし「あの布団包みはピジン英語であるかもしくは得難いかもしくはどちらもだ」ということは本当であるということはないとすれば「縫でない」ということは成り立つ fact6: もし「なにがしかのものはピジン英語であるかもしくは得難くない」ということは確かでないとすれば縫でない fact7: 仮に何らかの物は申告するということはないとしたら「それは漏れ無いか手っ取り早い」ということは誤りだ ; $hypothesis$ = あの布団包みは縫である ; $proof$ = 
fact6 -> int1: もし「あの布団包みはピジン英語であるかまたはそれは得難くないかまたは両方だ」ということは誤りだとすれば縫でない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「「とある物は漏れ無いか手っ取り早いかあるいは両方ともだ」ということは確かである」ということは成り立つということはないとすると「縫でない」ということは事実だ
事実2: 「あの布団包みはピジン英語であるかもしくは得難くないかもしくはどちらもだ」ということは成り立たない
事実3: あの布団包みは得難い
事実4: もし仮に「何らかの物はピジン英語であるかまたは得難いかもしくは両方ともだ」ということは偽だとしたらそれは縫でない
事実5: もし「あの布団包みはピジン英語であるかもしくは得難いかもしくはどちらもだ」ということは本当であるということはないとすれば「縫でない」ということは成り立つ
事実6: もし「なにがしかのものはピジン英語であるかもしくは得難くない」ということは確かでないとすれば縫でない
事実7: 仮に何らかの物は申告するということはないとしたら「それは漏れ無いか手っ取り早い」ということは誤りだ

仮説: あの布団包みは縫である
1. 事実6から、推論1: "もし「あの布団包みはピジン英語であるかまたはそれは得難くないかまたは両方だ」ということは誤りだとすれば縫でない"が導かれる
2. 推論1と事実2から、仮説が否定される

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