Removed useless logic
Fixed indentation in one example to make it more clear
Removed useless parent class Atom and removed check for Nested
Moved pp to fol.py since it is a common function
Moved printing in unification examples
Merge remote-tracking branch 'origin/cnf' into cnf

Conflicts:
	clause_form.py
	fol.py