推論的HS