Update inference_rules.md