あのロイヤル時代は十年代前半だ
fact1: その半導体技術が街らしいならばあのロイヤル時代は十年代前半でない fact2: 仮にあのロイヤル時代が街らしいなら十年代前半だ fact3: あのロイヤル時代は街らしい fact4: もし仮にあの箱根関所が街らしいとするとその半導体技術は街らしい
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
あのロイヤル時代は十年代前半でない
$facts$ = fact1: その半導体技術が街らしいならばあのロイヤル時代は十年代前半でない fact2: 仮にあのロイヤル時代が街らしいなら十年代前半だ fact3: あのロイヤル時代は街らしい fact4: もし仮にあの箱根関所が街らしいとするとその半導体技術は街らしい ; $hypothesis$ = あのロイヤル時代は十年代前半だ ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: その半導体技術が街らしいならばあのロイヤル時代は十年代前半でない
事実2: 仮にあのロイヤル時代が街らしいなら十年代前半だ
事実3: あのロイヤル時代は街らしい
事実4: もし仮にあの箱根関所が街らしいとするとその半導体技術は街らしい

仮説: あのロイヤル時代は十年代前半だ
1. 事実2と事実3から、仮説が導かれる

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