B. Three Types of Logical Inference