「「この密使は世界認識だということはないが受け難い」ということは誤っている」ということは真実だ
fact1: もし仮にとある物は御勧めしないとすると「世界認識でない一方で受け難い」ということは間違いである fact2: もし仮になんらかのものは御勧めしないなら「この伝は絶え難いということはない」ということは本当だ fact3: 絶え難い物でしかも成し難い物は受け難い fact4: もしも絶え難くない物が成し難いとするとそれは受け難い fact5: もし仮に「この当年度は受け難くてそれは改正す」ということは本当であるなら締め直す fact6: この密使は受け難い fact7: 「御勧めしない」物があるならこの伝は絶え難いということはないけれど成し難い fact8: 仮にこの伝は受け難いとすれば「この密使は世界認識でないが受け難い」ということは成り立つ fact9: この伝は絶え難くない fact10: 「「御勧めしない」ということは本当な」ものはある
fact10 & fact7 -> int1: この伝は絶え難くないけど成し難い; fact4 -> int2: もしこの伝は絶え難くないけど成し難いとしたらそれは受け難い; int1 & int2 -> int3: この伝は受け難い; int3 & fact8 -> hypothesis;
「この密使は世界認識でないが受け難い」ということは成り立たない
fact11 -> int4: 「この密使は御勧めしない」ということは誤りであるということはないなら「それは世界認識でないしかつ受け難い」ということは間違っている;
$facts$ = fact1: もし仮にとある物は御勧めしないとすると「世界認識でない一方で受け難い」ということは間違いである fact2: もし仮になんらかのものは御勧めしないなら「この伝は絶え難いということはない」ということは本当だ fact3: 絶え難い物でしかも成し難い物は受け難い fact4: もしも絶え難くない物が成し難いとするとそれは受け難い fact5: もし仮に「この当年度は受け難くてそれは改正す」ということは本当であるなら締め直す fact6: この密使は受け難い fact7: 「御勧めしない」物があるならこの伝は絶え難いということはないけれど成し難い fact8: 仮にこの伝は受け難いとすれば「この密使は世界認識でないが受け難い」ということは成り立つ fact9: この伝は絶え難くない fact10: 「「御勧めしない」ということは本当な」ものはある ; $hypothesis$ = 「「この密使は世界認識だということはないが受け難い」ということは誤っている」ということは真実だ ; $proof$ = 
fact10 & fact7 -> int1: この伝は絶え難くないけど成し難い; fact4 -> int2: もしこの伝は絶え難くないけど成し難いとしたらそれは受け難い; int1 & int2 -> int3: この伝は受け難い; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物は御勧めしないとすると「世界認識でない一方で受け難い」ということは間違いである
事実2: もし仮になんらかのものは御勧めしないなら「この伝は絶え難いということはない」ということは本当だ
事実3: 絶え難い物でしかも成し難い物は受け難い
事実4: もしも絶え難くない物が成し難いとするとそれは受け難い
事実5: もし仮に「この当年度は受け難くてそれは改正す」ということは本当であるなら締め直す
事実6: この密使は受け難い
事実7: 「御勧めしない」物があるならこの伝は絶え難いということはないけれど成し難い
事実8: 仮にこの伝は受け難いとすれば「この密使は世界認識でないが受け難い」ということは成り立つ
事実9: この伝は絶え難くない
事実10: 「「御勧めしない」ということは本当な」ものはある

仮説: 「「この密使は世界認識だということはないが受け難い」ということは誤っている」ということは真実だ
1. 事実10と事実7から、推論1: "この伝は絶え難くないけど成し難い"が導かれる
2. 事実4から、推論2: "もしこの伝は絶え難くないけど成し難いとしたらそれは受け難い"が導かれる
3. 推論1と推論2から、推論3: "この伝は受け難い"が導かれる
4. 推論3と事実8から、仮説が否定される

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