Create FOL, CNF and resolution graph

Consider the following axioms:

1. Every child who finds some [thing that is an] egg or chocolate bunny is happy.

2. Every child who is helped finds some egg.

3. Every child who is not young or who tries hard finds some chocolate bunny.

4. (Conclusion) If every young child tries hard or is helped, then every child is happy.