あの御家老は知り難くない
fact1: あの御家老が消滅すとしたらそれは付属でないしおまけに流し出さない fact2: 仮になにがしかのものは付属でないしさらに流し出すということはないとすればそれは知り難くない fact3: 覚え易いものは知り難し fact4: もし仮に「なんらかの物は覚え易くなくてその上一週間するということはない」ということは間違っているとするとそれは知り難し fact5: あの御家老は卑し fact6: もし仮にあの御家老は卑しならば「それは覚え易くないしそれは一週間しない」ということは誤っている fact7: もしもあの御家老が一週間するとしたらこの黄禍論は一週間する
fact6 & fact5 -> int1: 「「あの御家老は覚え易くなくて一週間しない」ということは事実と異なる」ということは事実である; fact4 -> int2: もしも「あの御家老は覚え易くないしその上一週間しない」ということは誤っているとするとそれは知り難し; int1 & int2 -> hypothesis;
「この黄禍論は一週間する」ということは事実だ
fact9 -> int3: もしもあの御家老が付属だということはなくてそれが流し出すということはないとすれば知り難しということはない;
$facts$ = fact1: あの御家老が消滅すとしたらそれは付属でないしおまけに流し出さない fact2: 仮になにがしかのものは付属でないしさらに流し出すということはないとすればそれは知り難くない fact3: 覚え易いものは知り難し fact4: もし仮に「なんらかの物は覚え易くなくてその上一週間するということはない」ということは間違っているとするとそれは知り難し fact5: あの御家老は卑し fact6: もし仮にあの御家老は卑しならば「それは覚え易くないしそれは一週間しない」ということは誤っている fact7: もしもあの御家老が一週間するとしたらこの黄禍論は一週間する ; $hypothesis$ = あの御家老は知り難くない ; $proof$ = 
fact6 & fact5 -> int1: 「「あの御家老は覚え易くなくて一週間しない」ということは事実と異なる」ということは事実である; fact4 -> int2: もしも「あの御家老は覚え易くないしその上一週間しない」ということは誤っているとするとそれは知り難し; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの御家老が消滅すとしたらそれは付属でないしおまけに流し出さない
事実2: 仮になにがしかのものは付属でないしさらに流し出すということはないとすればそれは知り難くない
事実3: 覚え易いものは知り難し
事実4: もし仮に「なんらかの物は覚え易くなくてその上一週間するということはない」ということは間違っているとするとそれは知り難し
事実5: あの御家老は卑し
事実6: もし仮にあの御家老は卑しならば「それは覚え易くないしそれは一週間しない」ということは誤っている
事実7: もしもあの御家老が一週間するとしたらこの黄禍論は一週間する

仮説: あの御家老は知り難くない
1. 事実6と事実5から、推論1: "「「あの御家老は覚え易くなくて一週間しない」ということは事実と異なる」ということは事実である"が導かれる
2. 事実4から、推論2: "もしも「あの御家老は覚え易くないしその上一週間しない」ということは誤っているとするとそれは知り難し"が導かれる
3. 推論1と推論2から、仮説が否定される

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