Three Types of Logical Inference