Rules Of Inference Resolution