Creates a Davis-Putnam tree to verify a propositional logic argument