... exam to get degree. Only hard working students can pass the exam. John is hard working student and appears in exam. Now write First order predicate logic for given statement and check if John passes exam or not using Resolution algorithm