inference_rules