Prove By Resolution method

Consider the following axioms:

Every child sees some witch.

No witch has both a black cat and a pointed hat.

Every witch is good or bad.

Every child who sees any good witch gets candy.

Every witch that is bad has a black cat.

Prove that: If every witch that is seen by any child has a pointed hat, then every child gets candy.