10. Consider the following statements:

If Karl does not take a course in algorithm, then he will not graduate.

If Karl does not graduate, then he cannot take the job offer.

If Karl takes a course in software engineering, then he can take the job offer.

Karl does not take a course in algorithm, but he takes a course in software engineering.

a) (4 points) Express these statements using the propositions a: Karl takes a course in algorithm, g: Karl graduates, j: Karl takes the job offer, and s: Karl takes a course in software engineering.

b) (5 points) Show whether these statements are consistent or not. (This is a problem related to the System Specification Section in the textbook. Refer to Examples 4 and 5 to answer this question.)