Inference Rules And How To Apply Them