4. a) Consider the following set of facts: 1. X is a student. 2. X studies in CSE department. 3. X has passed HSC in the year 2016. 4. Passing year is session. 5. The students of 2016 session of CSE department are awesome. i) Represent these facts in predicate logic. ii) Use Backward Reasoning to answer the question, "Is X awesome?" iii) Use resolution to prove the answer that you have got from question no. (ii).