Exploring the Four Color Theorem