成約単一化型推論