Inference_rules loading ...