Assume the following knowledge base: EvF DA-F a) Write the knowledge base as a set of clauses (i.e. convert it into Conjunctive Normal Form) b) Illustrate how resolution can be used to prove the query/goal "A". You can either show your result as a graph (as illustrated in the lecture notes), or you can show a formal proof that uses the resolution rule as the only inference rule. You do not have to follow the resolution algorithm precisely