Create FOL, CNF and resolution graph

Consider the following axioms:

1. Anything that is played by any student is tennis, soccer, or chess.

2. Anything that is chess is not vigorous.

3. Anyone who is healthy plays something that is vigorous.

4. Anyone who plays any chess does not play any soccer.

5. (Conclusion) If every student is healthy, then every student who plays any chess plays some tennis.