Question #$2$ Resolutions for FOLConsider the following statements:$1.$ x food$($x$)$ likes$($John$,$ x$)2.$ food$($Apple$)$ food$($vegetables$)3.$ x y eats$($x$,$ y$)$ killed$($x$)$ food$($y$)4.$ eats $($Anil$,$ Peanuts$)$ alive$($Anil$)5.$ x eats$($Anil$,$ x$)$ eats$($Harry$,$ x$)6.$ x $$ killed$($x$)$ alive$($x$)7.$ x alive$($x$)$ killed$($x$)($a$)$ Convert the statements into conjunctive normal form. $($b$)$ Prove: likes$($John$,$ Peanuts$)$ using resolution with refutation $($contradiction$)?$