その最高血圧はすこい
fact1: その低血圧は試行する fact2: その最高血圧は御支払いする fact3: もしその低血圧が試行すればその最高血圧はすこい fact4: この五観点用は試行する fact5: その最高血圧は試行する
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: その低血圧は試行する fact2: その最高血圧は御支払いする fact3: もしその低血圧が試行すればその最高血圧はすこい fact4: この五観点用は試行する fact5: その最高血圧は試行する ; $hypothesis$ = その最高血圧はすこい ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: その低血圧は試行する
事実2: その最高血圧は御支払いする
事実3: もしその低血圧が試行すればその最高血圧はすこい
事実4: この五観点用は試行する
事実5: その最高血圧は試行する

仮説: その最高血圧はすこい
1. 事実3と事実1から、仮説が導かれる

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