This is an artificial intelligence problem. Please provide the answer typed out not handwritten.

Problem 1 (40 points) A. (10 points) Construct a knowledge base KB consisting of the following sentences in propositional logic: If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned. Prove or disprove the following, each using two methods: (i) By constructing a truth table (5 points), and (ii) By using the logical equivalence and inference rules (5 points). B. (5+5=10 points) The unicorn is mythical. C. (5+5=10 points) The unicorn is magical. | D. (5+5=10 points) The unicorn is horned. Problem 1 (40 points) A. (10 points) Construct a knowledge base KB consisting of the following sentences in propositional logic: If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned. Prove or disprove the following, each using two methods: (i) By constructing a truth table (5 points), and (ii) By using the logical equivalence and inference rules (5 points). B. (5+5=10 points) The unicorn is mythical. C. (5+5=10 points) The unicorn is magical. | D. (5+5=10 points) The unicorn is horned