この現金は計算す
fact1: この現金は調律するし更に計算す fact2: その上﨟は都忘れでおまけに計算す
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: この現金は調律するし更に計算す fact2: その上﨟は都忘れでおまけに計算す ; $hypothesis$ = この現金は計算す ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この現金は調律するし更に計算す
事実2: その上﨟は都忘れでおまけに計算す

仮説: この現金は計算す
1. 事実1から、仮説が導かれる

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