あの数理的処理は乗り移る
fact1: この勤務年数はシックスナインする fact2: この取り締まり役会長はシックスナインする fact3: もしもこの取り締まり役会長がシックスナインするならあの数理的処理は乗り移る
$facts$ = fact1: この勤務年数はシックスナインする fact2: この取り締まり役会長はシックスナインする fact3: もしもこの取り締まり役会長がシックスナインするならあの数理的処理は乗り移る ; $hypothesis$ = あの数理的処理は乗り移る ; $proof$ = 
事実1: この勤務年数はシックスナインする
事実2: この取り締まり役会長はシックスナインする
事実3: もしもこの取り締まり役会長がシックスナインするならあの数理的処理は乗り移る

仮説: あの数理的処理は乗り移る