Well, part of the coursework, and probably the hardest part, is about translating natural language problems into formal logic statements, ie:

"The liar says All my hats are green" becomes "¬∀x|x∈hat,OWNS(x) (GREEN(x))" or similar.

And then from there you can also translate the five provided answers and try to find a contradiction.