General
Material
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5

Hint

What you have to express is: for all X, if X is a magical creature and X is not a dementor, then Harry likes X.

Solution

Back to the exercise.