その勝ち星は極まる
fact1: このアドレナリンは極まる fact2: もししつこくないものが長々しいとしたらそれは極まらない fact3: 「その勝ち星は極まる」ということは本当である
fact3 -> hypothesis;
fact3 -> hypothesis;
その勝ち星は極まらない
fact4 -> int1: もし仮にその勝ち星はしつこくないが長々しいなら「それは極まらない」ということは成り立つ;
$facts$ = fact1: このアドレナリンは極まる fact2: もししつこくないものが長々しいとしたらそれは極まらない fact3: 「その勝ち星は極まる」ということは本当である ; $hypothesis$ = その勝ち星は極まる ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: このアドレナリンは極まる
事実2: もししつこくないものが長々しいとしたらそれは極まらない
事実3: 「その勝ち星は極まる」ということは本当である

仮説: その勝ち星は極まる
1. 事実3から、仮説が導かれる

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