Working on InferenceRule