Inference rules
Redirect to:
Rule of inference