5) Given the following KB: dogs like bones dogs eat everything they like Pasta is a dog Express it in Predicate Logic. Convert it to CNF Use the SLD resolution refutation with variable bindings to show that Pasta eats bones can be entailed from the KB. Show vour work. 5) Given the following KB: dogs like bones dogs eat everything they like Pasta is a dog Express it in Predicate Logic. Convert it to CNF Use the SLD resolution refutation with variable bindings to show that Pasta eats bones can be entailed from the KB. Show vour work