Hello I need help with this question:

Exercise KR1 (8 points) Given the following sentences: 1. students that like meat, eat at lunch bread and salami 2. students that like vegetables, eat at lunch bread and salad 3. students that do not like meat, like vegetables 4. Francesco is a student and the following vocabulary: Constants: bread, salami, salad, francesco. Predicates: student(2), likeMeat.), likeVeg(), eat AtLunch(2,y) (where eaten food). is the eater and y the (a) Write the KB that models the above sentences. (b) Transform it in CNF and tell whether there are any non-Horn clauses. (c) Derive using resolution that Francesco eats at lunch. (d) Write two models for the above KB. Exercise KR1 (8 points) Given the following sentences: 1. students that like meat, eat at lunch bread and salami 2. students that like vegetables, eat at lunch bread and salad 3. students that do not like meat, like vegetables 4. Francesco is a student and the following vocabulary: Constants: bread, salami, salad, francesco. Predicates: student(2), likeMeat.), likeVeg(), eat AtLunch(2,y) (where eaten food). is the eater and y the (a) Write the KB that models the above sentences. (b) Transform it in CNF and tell whether there are any non-Horn clauses. (c) Derive using resolution that Francesco eats at lunch. (d) Write two models for the above KB