Resolution Rule Of Inference