Rules Of Inference Simplification Example