Removing unused function: schonfinkelize
Updating example settings.