With the help of resolution graph, resolution in FOL,
solve the following things:
a) John likes all kind of food
b) Apple and vegetables are food
c) Anything anyone eats and not killed is food
d) Bill eats peanuts and is still alive
e) Julie eats everything that bill eats
Prove by resolution, that John likes peanuts.
