Need a hint?
You can see the Propositional Logic article to revisit inference rules.
You are designing a logical agent to predict the mood of people. The logical agent has access to information about the weather along with rules about what people do and feel. Consider the following knowledge base:
We will use inference to decide if the agent is predicting happy given the current status of the knowledge base. In other words, use we will inference to prove KB |= happy. Consider the potential inference steps:
What is the correct order of steps to arrive at KB |= happy?