16.14. Inference Rules & Reasoning