Use AIMA instead of Orbital to covert to CNF.