その管理費用はか弱くない
fact1: もしこの巡航が引き直し計算しないけれど包括するとするとその管理費用はか弱い fact2: この巡航は引き直し計算しないが包括する
$facts$ = fact1: もしこの巡航が引き直し計算しないけれど包括するとするとその管理費用はか弱い fact2: この巡航は引き直し計算しないが包括する ; $hypothesis$ = その管理費用はか弱くない ; $proof$ = 
事実1: もしこの巡航が引き直し計算しないけれど包括するとするとその管理費用はか弱い
事実2: この巡航は引き直し計算しないが包括する

仮説: その管理費用はか弱くない