この出水は偽薬だ
fact1: その御丈は偽薬だ fact2: 「この出水は偽薬である」ということは確かである fact3: この出水は上等兵だ fact4: もしもなにがしかのものが病変部でないとしたら偽薬でおまけにそれは日本人らしい fact5: この河豚食は偽薬である
fact2 -> hypothesis;
fact2 -> hypothesis;
あの修理は偽薬だ
fact6 -> int1: あの修理が病変部でないならば偽薬であるしその上それは日本人らしい;
$facts$ = fact1: その御丈は偽薬だ fact2: 「この出水は偽薬である」ということは確かである fact3: この出水は上等兵だ fact4: もしもなにがしかのものが病変部でないとしたら偽薬でおまけにそれは日本人らしい fact5: この河豚食は偽薬である ; $hypothesis$ = この出水は偽薬だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その御丈は偽薬だ
事実2: 「この出水は偽薬である」ということは確かである
事実3: この出水は上等兵だ
事実4: もしもなにがしかのものが病変部でないとしたら偽薬でおまけにそれは日本人らしい
事実5: この河豚食は偽薬である

仮説: この出水は偽薬だ
1. 事実2から、仮説が導かれる

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