Create FOL, CNF and resolution graph

Consider the following axioms:

1. Anyone who loves any lottery is a gambler.

2. Everyone who favors the lottery proposition loves some lottery.

3. Everyone favors the lottery proposition or opposes the lottery proposition.

4. If every Baptist votes and opposes the lottery proposition, then the lottery proposition does not win.

5. Every Baptist who is faithful is not a gambler.

6. (Conclusion) If every Baptist votes and the lottery proposition wins, then some Baptist is not faithful.