その道法は輝かしない
fact1: その道法は第十六章でないけれど甚だしい fact2: 「なんらかの物は王室御用足しだし手引き書である」ということは成り立たないとすれば輝かしない fact3: 仮に何らかの物は第十六章だということはないなら「王室御用足しであるし手引き書である」ということは間違っている
fact3 -> int1: 仮に「その道法は第十六章でない」ということは成り立つとすれば「それは王室御用足しでその上手引き書だ」ということは成り立たない; fact1 -> int2: その道法は第十六章でない; int1 & int2 -> int3: 「その道法は王室御用足しであるししかも手引き書だ」ということは偽である; fact2 -> int4: 仮に「その道法は王室御用足しであるし更に手引き書である」ということは誤っているとすれば輝かしない; int3 & int4 -> hypothesis;
$facts$ = fact1: その道法は第十六章でないけれど甚だしい fact2: 「なんらかの物は王室御用足しだし手引き書である」ということは成り立たないとすれば輝かしない fact3: 仮に何らかの物は第十六章だということはないなら「王室御用足しであるし手引き書である」ということは間違っている ; $hypothesis$ = その道法は輝かしない ; $proof$ = 
fact3 -> int1: 仮に「その道法は第十六章でない」ということは成り立つとすれば「それは王室御用足しでその上手引き書だ」ということは成り立たない; fact1 -> int2: その道法は第十六章でない; int1 & int2 -> int3: 「その道法は王室御用足しであるししかも手引き書だ」ということは偽である; fact2 -> int4: 仮に「その道法は王室御用足しであるし更に手引き書である」ということは誤っているとすれば輝かしない; int3 & int4 -> hypothesis; __PROVED__
事実1: その道法は第十六章でないけれど甚だしい
事実2: 「なんらかの物は王室御用足しだし手引き書である」ということは成り立たないとすれば輝かしない
事実3: 仮に何らかの物は第十六章だということはないなら「王室御用足しであるし手引き書である」ということは間違っている

仮説: その道法は輝かしない
1. 事実3から、推論1: "仮に「その道法は第十六章でない」ということは成り立つとすれば「それは王室御用足しでその上手引き書だ」ということは成り立たない"が導かれる
2. 事実1から、推論2: "その道法は第十六章でない"が導かれる
3. 推論1と推論2から、推論3: "「その道法は王室御用足しであるししかも手引き書だ」ということは偽である"が導かれる
4. 事実2から、推論4: "仮に「その道法は王室御用足しであるし更に手引き書である」ということは誤っているとすれば輝かしない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。