4. (2 marks) Convert the next 5 rules and 2 facts to a conjunction of Horn clauses. a. Rules If X has hair, then X is a mammal. If X gives milk, then X is a mammal meat, then X If X has feathers, then X is a bird. If X flies and lays eggs, then X is a bird b. Fact Stretch has hair. Stretch eat meat. c. Query Stretch is a carnivore. d. Note. You need to use proper propositional symbols. E.g., Hair, Eat Meat