「もし仮に「有り難がるかもしくは述懐しないか両方だ」ということは誤りであるとすると「公儀御用でない」ということは偽でない」物はある
fact1: もし「あの六法全書は有り難がるかもしくは述懐しない」ということは成り立たないならそれは公儀御用だということはない fact2: もしもあの六法全書が有り難がるかもしくは述懐しないかどちらもであるとすればそれは公儀御用でない
fact1 -> hypothesis;
$facts$ = fact1: もし「あの六法全書は有り難がるかもしくは述懐しない」ということは成り立たないならそれは公儀御用だということはない fact2: もしもあの六法全書が有り難がるかもしくは述懐しないかどちらもであるとすればそれは公儀御用でない ; $hypothesis$ = 「もし仮に「有り難がるかもしくは述懐しないか両方だ」ということは誤りであるとすると「公儀御用でない」ということは偽でない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし「あの六法全書は有り難がるかもしくは述懐しない」ということは成り立たないならそれは公儀御用だということはない
事実2: もしもあの六法全書が有り難がるかもしくは述懐しないかどちらもであるとすればそれは公儀御用でない

仮説: 「もし仮に「有り難がるかもしくは述懐しないか両方だ」ということは誤りであるとすると「公儀御用でない」ということは偽でない」物はある
1. 事実1から、仮説が導かれる

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