Create FOL, CNF and resolution graph

Consider the following axioms.

1. For every mall, there is some Santa who is at the mall.

2. Every child who visits anywhere talks with every Santa who is at the place visited. [Don't make a predicate for ``the place visited''; it should just be a variable.]

3. Every child who is a city child visits some mall.

4. Every child who is good or who talks with some Santa gets some toy.

5. (Conclusion) If every child who is not a city child is good, then every child gets some toy.