Simplification Rules Of Inference