Necessary Inference

Deriving logical conclusions on the basis of existing facts and reasons.