この継承者は野党法案だけれど急変しない
fact1: この継承者が御さらばするとしたらその服薬行動は御さらばしない fact2: 「あの企業Ｂは御さらばしない」ということは正しい fact3: もしこの継承者が御さらばしないならばそれは野党法案だ fact4: もしもこの継承者が御さらばするということはないならばそれは野党法案でしかもそれは急変しない fact5: 「この継承者は御さらばしない」ということは正しい fact6: この女性支配は急変するけれど心酔しない fact7: この継承者は野党法案だ
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
その服薬行動は御さらばしない
$facts$ = fact1: この継承者が御さらばするとしたらその服薬行動は御さらばしない fact2: 「あの企業Ｂは御さらばしない」ということは正しい fact3: もしこの継承者が御さらばしないならばそれは野党法案だ fact4: もしもこの継承者が御さらばするということはないならばそれは野党法案でしかもそれは急変しない fact5: 「この継承者は御さらばしない」ということは正しい fact6: この女性支配は急変するけれど心酔しない fact7: この継承者は野党法案だ ; $hypothesis$ = この継承者は野党法案だけれど急変しない ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: この継承者が御さらばするとしたらその服薬行動は御さらばしない
事実2: 「あの企業Ｂは御さらばしない」ということは正しい
事実3: もしこの継承者が御さらばしないならばそれは野党法案だ
事実4: もしもこの継承者が御さらばするということはないならばそれは野党法案でしかもそれは急変しない
事実5: 「この継承者は御さらばしない」ということは正しい
事実6: この女性支配は急変するけれど心酔しない
事実7: この継承者は野党法案だ

仮説: この継承者は野党法案だけれど急変しない
1. 事実4と事実5から、仮説が導かれる

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