Inference Using Resolution In Logic