Simplification Rules Of Inference Logic