あの鬱血は尖むとしたら「ＡＤだということはないしおまけに運搬する」ということは正しい
fact1: ある物が尖むならＡＤでなくてまたそれは運搬する
$facts$ = fact1: ある物が尖むならＡＤでなくてまたそれは運搬する ; $hypothesis$ = あの鬱血は尖むとしたら「ＡＤだということはないしおまけに運搬する」ということは正しい ; $proof$ = 
事実1: ある物が尖むならＡＤでなくてまたそれは運搬する

仮説: あの鬱血は尖むとしたら「ＡＤだということはないしおまけに運搬する」ということは正しい