「そのエレキは苦しいということはなくておまけにそれは従軍慰安婦でない」ということは確かでない
fact1: そのエレキは苦しくない fact2: 「そのエレキはＥさんであるかまたはそれは苦しい」ということは成り立たないとしたら従軍慰安婦でない fact3: もしもあのパレ・ロワイヤルが従軍慰安婦でないとしたらそのエレキは苦しくないし従軍慰安婦でない fact4: 仮に「その半製品は送り団子でないししかもおどろおどろしくない」ということは事実と異なるとするとあのパレ・ロワイヤルは従軍慰安婦でない fact5: 「あの上官幇主は両思いであるかまたは傾き易くない」ということは成り立たない fact6: もしもその半製品がＥさんであるということはないならばあの上官幇主は苦しいしおどろおどろしい fact7: もし「なにがしかのものは二ツイーターでない一方でそれは湛水する」ということは成り立たないとすると送り団子だ fact8: おどろおどろしい物は両思いでないかＥさんであるかあるいは両方ともだ fact9: もしもあの上官幇主が苦しいとすると従軍慰安婦でない fact10: もしあの上官幇主はＥさんであるということはないとすれば「その半製品は送り団子でないけれどおどろおどろしい」ということは嘘だ fact11: もし「あの上官幇主は両思いであるかもしくはそれは傾き易くないかまたは両方ともだ」ということは成り立たないとすればＥさんでない fact12: もしもあの上官幇主はＥさんでないとすれば「その半製品は送り団子でないしおどろおどろしくない」ということは成り立たない fact13: もしあのパレ・ロワイヤルがＥさんである一方で現代世界でないとしたらその半製品はＥさんでない fact14: もしあの上官幇主は従軍慰安婦でないなら「それは送り団子でおどろおどろしい」ということは真実である fact15: 「あのパレ・ロワイヤルは見過ごし難いということはない」ということは確かであるならば「それは二ツイーターでないしそれは湛水する」ということは成り立たない fact16: 送り団子はＥさんだけれど現代世界でない
fact11 & fact5 -> int1: 「あの上官幇主はＥさんでない」ということは本当だ; int1 & fact12 -> int2: 「その半製品は送り団子であるということはないしそれはおどろおどろしいということはない」ということは成り立たない; int2 & fact4 -> int3: あのパレ・ロワイヤルは従軍慰安婦でない; int3 & fact3 -> hypothesis;
「そのエレキは苦しいということはなくておまけに従軍慰安婦でない」ということは成り立たない
fact19 -> int4: あのパレ・ロワイヤルが送り団子だとするとＥさんであるけど現代世界だということはない; fact21 -> int5: 仮に「あのパレ・ロワイヤルは二ツイーターでないが湛水する」ということは成り立たないとするとそれは送り団子だ;
$facts$ = fact1: そのエレキは苦しくない fact2: 「そのエレキはＥさんであるかまたはそれは苦しい」ということは成り立たないとしたら従軍慰安婦でない fact3: もしもあのパレ・ロワイヤルが従軍慰安婦でないとしたらそのエレキは苦しくないし従軍慰安婦でない fact4: 仮に「その半製品は送り団子でないししかもおどろおどろしくない」ということは事実と異なるとするとあのパレ・ロワイヤルは従軍慰安婦でない fact5: 「あの上官幇主は両思いであるかまたは傾き易くない」ということは成り立たない fact6: もしもその半製品がＥさんであるということはないならばあの上官幇主は苦しいしおどろおどろしい fact7: もし「なにがしかのものは二ツイーターでない一方でそれは湛水する」ということは成り立たないとすると送り団子だ fact8: おどろおどろしい物は両思いでないかＥさんであるかあるいは両方ともだ fact9: もしもあの上官幇主が苦しいとすると従軍慰安婦でない fact10: もしあの上官幇主はＥさんであるということはないとすれば「その半製品は送り団子でないけれどおどろおどろしい」ということは嘘だ fact11: もし「あの上官幇主は両思いであるかもしくはそれは傾き易くないかまたは両方ともだ」ということは成り立たないとすればＥさんでない fact12: もしもあの上官幇主はＥさんでないとすれば「その半製品は送り団子でないしおどろおどろしくない」ということは成り立たない fact13: もしあのパレ・ロワイヤルがＥさんである一方で現代世界でないとしたらその半製品はＥさんでない fact14: もしあの上官幇主は従軍慰安婦でないなら「それは送り団子でおどろおどろしい」ということは真実である fact15: 「あのパレ・ロワイヤルは見過ごし難いということはない」ということは確かであるならば「それは二ツイーターでないしそれは湛水する」ということは成り立たない fact16: 送り団子はＥさんだけれど現代世界でない ; $hypothesis$ = 「そのエレキは苦しいということはなくておまけにそれは従軍慰安婦でない」ということは確かでない ; $proof$ = 
fact11 & fact5 -> int1: 「あの上官幇主はＥさんでない」ということは本当だ; int1 & fact12 -> int2: 「その半製品は送り団子であるということはないしそれはおどろおどろしいということはない」ということは成り立たない; int2 & fact4 -> int3: あのパレ・ロワイヤルは従軍慰安婦でない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: そのエレキは苦しくない
事実2: 「そのエレキはＥさんであるかまたはそれは苦しい」ということは成り立たないとしたら従軍慰安婦でない
事実3: もしもあのパレ・ロワイヤルが従軍慰安婦でないとしたらそのエレキは苦しくないし従軍慰安婦でない
事実4: 仮に「その半製品は送り団子でないししかもおどろおどろしくない」ということは事実と異なるとするとあのパレ・ロワイヤルは従軍慰安婦でない
事実5: 「あの上官幇主は両思いであるかまたは傾き易くない」ということは成り立たない
事実6: もしもその半製品がＥさんであるということはないならばあの上官幇主は苦しいしおどろおどろしい
事実7: もし「なにがしかのものは二ツイーターでない一方でそれは湛水する」ということは成り立たないとすると送り団子だ
事実8: おどろおどろしい物は両思いでないかＥさんであるかあるいは両方ともだ
事実9: もしもあの上官幇主が苦しいとすると従軍慰安婦でない
事実10: もしあの上官幇主はＥさんであるということはないとすれば「その半製品は送り団子でないけれどおどろおどろしい」ということは嘘だ
事実11: もし「あの上官幇主は両思いであるかもしくはそれは傾き易くないかまたは両方ともだ」ということは成り立たないとすればＥさんでない
事実12: もしもあの上官幇主はＥさんでないとすれば「その半製品は送り団子でないしおどろおどろしくない」ということは成り立たない
事実13: もしあのパレ・ロワイヤルがＥさんである一方で現代世界でないとしたらその半製品はＥさんでない
事実14: もしあの上官幇主は従軍慰安婦でないなら「それは送り団子でおどろおどろしい」ということは真実である
事実15: 「あのパレ・ロワイヤルは見過ごし難いということはない」ということは確かであるならば「それは二ツイーターでないしそれは湛水する」ということは成り立たない
事実16: 送り団子はＥさんだけれど現代世界でない

仮説: 「そのエレキは苦しいということはなくておまけにそれは従軍慰安婦でない」ということは確かでない
1. 事実11と事実5から、推論1: "「あの上官幇主はＥさんでない」ということは本当だ"が導かれる
2. 推論1と事実12から、推論2: "「その半製品は送り団子であるということはないしそれはおどろおどろしいということはない」ということは成り立たない"が導かれる
3. 推論2と事実4から、推論3: "あのパレ・ロワイヤルは従軍慰安婦でない"が導かれる
4. 推論3と事実3から、仮説が否定される

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