Given:
Show S(MARY)using resolution.
(vw) (p) [(x)} + () V (Y)b) AXA (5) [MKA) + (x)d] XA (9) [(x) + (x)d] XA (e)