Knowledge Base: "If someone is a good student, they like Math or Literature". "If not a good student, they like neither Math nor Literature. Jack likes both Math and Literature. Use the propositions G (for GoodStudent), M (for LikesMath), and L (for LikesLiterature). Using proof by contradiction (refutation), see if you can prove (entail) that Jack/ is a good student from this knowledgebase. You MUST demonstrate proper inference using the boxes provided and clearly indicating resolving clauses (and substitutions) ON the graph. Add or delete boxes as necessary. JOJ ... Entailed? Why