あのパブは好評でない
fact1: 仮にある物が経別でないとすると好評であるし荘園領主である fact2: もしも「「荘園領主でない」ということは成り立つ」物があるならあのパブは経別であるがしかし好評だということはない fact3: 仮にあの日韓併合が好評であるならあのパブは好評だ fact4: もし「なんらかのものは経別であるか荘園領主でないかもしくは両方ともだ」ということは間違いであるならそれは好評でない fact5: とある物は荘園領主だということはない
fact5 & fact2 -> int1: あのパブは経別だけど好評でない; int1 -> hypothesis;
あの自営業者等は好評でない
fact6 -> int2: 「あの自営業者等は経別であるかまたは荘園領主でない」ということは誤りだとすれば好評でない;
$facts$ = fact1: 仮にある物が経別でないとすると好評であるし荘園領主である fact2: もしも「「荘園領主でない」ということは成り立つ」物があるならあのパブは経別であるがしかし好評だということはない fact3: 仮にあの日韓併合が好評であるならあのパブは好評だ fact4: もし「なんらかのものは経別であるか荘園領主でないかもしくは両方ともだ」ということは間違いであるならそれは好評でない fact5: とある物は荘園領主だということはない ; $hypothesis$ = あのパブは好評でない ; $proof$ = 
fact5 & fact2 -> int1: あのパブは経別だけど好評でない; int1 -> hypothesis; __PROVED__
事実1: 仮にある物が経別でないとすると好評であるし荘園領主である
事実2: もしも「「荘園領主でない」ということは成り立つ」物があるならあのパブは経別であるがしかし好評だということはない
事実3: 仮にあの日韓併合が好評であるならあのパブは好評だ
事実4: もし「なんらかのものは経別であるか荘園領主でないかもしくは両方ともだ」ということは間違いであるならそれは好評でない
事実5: とある物は荘園領主だということはない

仮説: あのパブは好評でない
1. 事実5と事実2から、推論1: "あのパブは経別だけど好評でない"が導かれる
2. 推論1から、仮説が導かれる

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