Create FOL, CNF and resolution graph

Consider the following axioms.

1. Everyone who feels warm either is drunk, or every costume they have is warm.

2. Every costume that is warm is furry.

3. Every AI student is a CS student.

4. Every AI student has some robot costume.

5. No robot costume is furry.

6. (Conclusion) If every CS student feels warm, then every AI student is drunk.