「このＡ系統は利用す」ということは確かである
fact1: このＡ系統は飲み難い fact2: もしこのＡ系統が飲み難いとすると利用す
$facts$ = fact1: このＡ系統は飲み難い fact2: もしこのＡ系統が飲み難いとすると利用す ; $hypothesis$ = 「このＡ系統は利用す」ということは確かである ; $proof$ = 
事実1: このＡ系統は飲み難い
事実2: もしこのＡ系統が飲み難いとすると利用す

仮説: 「このＡ系統は利用す」ということは確かである