なにがしかの物は御偉方であるかまたはアクセスだ
fact1: そのノンフィクション作家は御偉方である fact2: 「「塩揉みしないしアクセスである」ということは成り立たない」ものはある fact3: その分娩開始は腐すかもしくは菌床であるかもしくは両方である fact4: あの合同結婚式はモニタリングする fact5: もしもなんらかのものはアクセスであるか御偉方でないか両方ともだとすると楽する fact6: 仮になんらかのものは塩揉みするということはないとすると「それはアクセスであるかもしくは御偉方であるということはない」ということは成り立つ fact7: もしも「なんらかのものはアクセスでない」ということは事実であるならば「満州事変でなくて御偉方でない」ということは間違っている
fact1 -> int1: そのノンフィクション作家は御偉方であるかもしくはアクセスであるか両方だ; int1 -> hypothesis;
「弁別するかまたは楽する」物はある
fact9 -> int2: そのノンフィクション作家がアクセスであるかそれは御偉方でないなら楽する; fact8 -> int3: 仮にそのノンフィクション作家が塩揉みしないとすればそれはアクセスであるかあるいは御偉方だということはない;
$facts$ = fact1: そのノンフィクション作家は御偉方である fact2: 「「塩揉みしないしアクセスである」ということは成り立たない」ものはある fact3: その分娩開始は腐すかもしくは菌床であるかもしくは両方である fact4: あの合同結婚式はモニタリングする fact5: もしもなんらかのものはアクセスであるか御偉方でないか両方ともだとすると楽する fact6: 仮になんらかのものは塩揉みするということはないとすると「それはアクセスであるかもしくは御偉方であるということはない」ということは成り立つ fact7: もしも「なんらかのものはアクセスでない」ということは事実であるならば「満州事変でなくて御偉方でない」ということは間違っている ; $hypothesis$ = なにがしかの物は御偉方であるかまたはアクセスだ ; $proof$ = 
fact1 -> int1: そのノンフィクション作家は御偉方であるかもしくはアクセスであるか両方だ; int1 -> hypothesis; __PROVED__
事実1: そのノンフィクション作家は御偉方である
事実2: 「「塩揉みしないしアクセスである」ということは成り立たない」ものはある
事実3: その分娩開始は腐すかもしくは菌床であるかもしくは両方である
事実4: あの合同結婚式はモニタリングする
事実5: もしもなんらかのものはアクセスであるか御偉方でないか両方ともだとすると楽する
事実6: 仮になんらかのものは塩揉みするということはないとすると「それはアクセスであるかもしくは御偉方であるということはない」ということは成り立つ
事実7: もしも「なんらかのものはアクセスでない」ということは事実であるならば「満州事変でなくて御偉方でない」ということは間違っている

仮説: なにがしかの物は御偉方であるかまたはアクセスだ
1. 事実1から、推論1: "そのノンフィクション作家は御偉方であるかもしくはアクセスであるか両方だ"が導かれる
2. 推論1から、仮説が導かれる

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