• 1. Rules
• If X has hair, then X is a mammal.
• If X gives milk, then X is a mammal.
• If X is a mammal and X eats meat, then X is a carnivore.
• If X has feathers, then X is a bird.
• If X flies and lays eggs, then X is a bird
  2. Fact
• Stretch has hair.
• Stretch eat meat.
  3. Query
• Stretch is a carnivore.
• d. Note.
• You need to use proper propositional symbols. E.g., Hair, EatMeat,

5. (2 marks) Convert the above 5 rules and 2 facts to a conjunction of disjunction clauses (i.e., CNF form