6. (12 points) Use the same propositional variables of problem 5 and the rules of inference to show the hypotheses imply the conclusion: "If I work on CS for 10 hours a week and I don't procrastinate, then I will complete the CS courses", "I will not graduate in four years and I worked on CS for 10 hours a week.", and "If I complete the CS courses, then I graduate in four years." Conclusion: "I procrastinated. First, translate the hypotheses and conclusion in to logical statements (4 points). Then, show the valid argument (8 points)