Create FOL, CNF and resolution graph

Consider the following axioms:

1. Everyone who aces any final exam studies or is brilliant or is lucky.

2. Everyone who makes an A aces some final exam.

3. No CS major is lucky.

4. Anyone who drinks beer does not study.

5. (Conclusion) If every CS major makes an A, then every CS major who drinks beer is brilliant.