Given sentences (A - E) below, All great chefs are French. All Frenches enjoy good food. Paul or Sophie is a great chef. Paul is not a great chef. Query: Who enjoys a good food? write them in their 1^st -order logical representations using the following predicates and constants: Predicates: GC - great chef(s), F- French, EF - enjoy good food, Constants: Paul, Sophie Answer the query by forward chaining method. Draw the proof trees showing the substitutions step by step. Refer to the slide #23 - #25. Convert the sentences in 1) to the definite clauses in CNF, suitable for Knowledge Base through Skolemization, etc. if necessary. Refer to the slide #42. By applying resolution, answer the query. Show the steps of proof by drawing the resolution tree. Refer to the figure in slide #43 of Chap. 9. Given sentences (A - E) below, All great chefs are French. All Frenches enjoy good food. Paul or Sophie is a great chef. Paul is not a great chef. Query: Who enjoys a good food? write them in their 1^st -order logical representations using the following predicates and constants: Predicates: GC - great chef(s), F- French, EF - enjoy good food, Constants: Paul, Sophie Answer the query by forward chaining method. Draw the proof trees showing the substitutions step by step. Refer to the slide #23 - #25. Convert the sentences in 1) to the definite clauses in CNF, suitable for Knowledge Base through Skolemization, etc. if necessary. Refer to the slide #42. By applying resolution, answer the query. Show the steps of proof by drawing the resolution tree. Refer to the figure in slide #43 of Chap. 9