Create FOL, CNF and resolution graph

Consider the following axioms:

1. Every student who makes good grades is brilliant or studies.

2. Every student who is a CS major has some roommate. [Make ``roommate'' a two-place predicate.]

3. Every student who has any roommate who likes to party goes to Sixth Street.

4. Anyone who goes to Sixth Street does not study.

5. (Conclusion) If every roommate of every CS major likes to party, then every student who is a CS major and makes good grades is brilliant.