immediate inference

logical inference from a single statement