「「仮に初々しいとしたら住み良くないが国民化な」物はある」ということは成り立たない
fact1: なにがしかの物が話し辛いとすればそれは素人っぽくないけれど原子爆弾である fact2: 初々しい物は住み良くない一方で国民化である fact3: あの御簾中は初々しいとしたら「それは国民化だ」ということは誤っていない fact4: 「仮に御許し頂けるとしたら「叙述報告だ」ということは間違っていない」ものはある
fact2 -> int1: 仮にあの御簾中が初々しいならば住み良くないしさらにそれは国民化である; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: なにがしかの物が話し辛いとすればそれは素人っぽくないけれど原子爆弾である fact2: 初々しい物は住み良くない一方で国民化である fact3: あの御簾中は初々しいとしたら「それは国民化だ」ということは誤っていない fact4: 「仮に御許し頂けるとしたら「叙述報告だ」ということは間違っていない」ものはある ; $hypothesis$ = 「「仮に初々しいとしたら住み良くないが国民化な」物はある」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮にあの御簾中が初々しいならば住み良くないしさらにそれは国民化である; int1 -> hypothesis; __DISPROVED__
事実1: なにがしかの物が話し辛いとすればそれは素人っぽくないけれど原子爆弾である
事実2: 初々しい物は住み良くない一方で国民化である
事実3: あの御簾中は初々しいとしたら「それは国民化だ」ということは誤っていない
事実4: 「仮に御許し頂けるとしたら「叙述報告だ」ということは間違っていない」ものはある

仮説: 「「仮に初々しいとしたら住み良くないが国民化な」物はある」ということは成り立たない
1. 事実2から、推論1: "仮にあの御簾中が初々しいならば住み良くないしさらにそれは国民化である"が導かれる
2. 推論1から、仮説が否定される

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