Consider the following paragraph: "Anyone passing his Artificial Intelligence exam and winning the lottery is happy. But any student who studies for an exam or is lucky can pass all his exams. John did not study but John is lucky. Anyone who is lucky wins the lottery. Mary did not win the lottery, however Mary passed her IS exam. Gary won the lottery. Gary, John, and Mary are all students... 1- Extract the facts and write them using FOL 2- Write the rules that you found using FOL 3. Use the rules you write to infer new facts. 4- Pose queries to the inference procedure. a. Is John happy? b. Is Mary happy? Is she lucky? c. Did every student pass the Al exam