Can now convert completely to CNF as far as I can tell. Gonna run some
more tests, I'll work on resolution tomorrow.