Logical Inference Rules Discrete