Create FOL, CNF and resolution graph

Consider the following axioms:

1. Every child sees some witch.

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

3. Every witch is good or bad.

4. Every child who sees any good witch gets candy.

5. Every witch that is bad has a black cat.

6. (Conclusion) If every witch that is seen by any child has a pointed hat, then every child gets candy.