Four color theorem disproof? My brother in law and I were discussing the four color theorem; neither of us are huge math geeks, but we both like a challenge, and tonight we were discussing the four color theorem and if there were a way to disprove it.

After some time scribbling on the back of an envelope and about an hour of trial-and-error attempts in Sumopaint, I can't seem to come up with a pattern that only uses four colors for this "map". Can anyone find a way (algorithmically or via trial and error) to color it so it fits the four color theorem?
Starting at the top, going clockwise:


center: 1, 2, 3
middle: 2,4,3,4,2,4
outside: 1




I hope this helps $\ddot\smile$
To answer the "algorithmically" question, this map has some regions that only border four others. There is a relatively short, algorithmic proof that if you can 4-colour all but one of the regions of a map, and the last region, R, only borders four others (call them R_1, R_2, R_3, R_4 in clockwise ordering about R), then you can colour the whole map. To do this, work as follows. It is easy unless R_1 to R_4 already use all the colours. Say they are blue, green, red, yellow in that order around region R. Now we try to recolour R_1 to red, in the hope that this will allow us to colour R blue. If we do that, we have to recolour any red region which borders R_1 blue. Then we have to recolour any blue region which borders one of these red, and so on. We keep doing this until we run out of things to recolour. Now one  of two things happens: either we can colour R blue or we had to recolour R_3 blue. In the latter case, there was a chain of red and blue regions stretching from R_1 to R_3, but there can't also be a chain of green and yellow regions stretching from R_2 to R_4 (they have to cross somewhere, but the fact that they use different colours means that they can't). So now if we try the same trick recolouring R_2 yellow, any yellow regions next to R_2 green, and so on, this time we won't have to recolour R_4, and we will be able to colour R green.

We've now shown that if we can colour everything apart from a region that meets four (or fewer) others, we can do this recolouring trick and then colour the last region. Similarly, if we had a colouring of some of the regions, and one of the uncoloured regions only bordered four coloured ones, we can recolour in this way and then colour that region as well. So if we can find an ordering of regions such that each one borders at most four previous ones, we can progressively recolour in this way. In this map we can -- basically progressively remove regions that only have four neighbours in what's left, then reverse that ordering -- so this algorithm will work.

This method was the basis of Kempe's incorrect proof of the 4-colour theorem, and was used by Heawood to prove the 5-colour theorem (using five colours we are ok so long as there is always a region we can remove which borders at most five others, but that is true for any plane map). It can be used to easily find a 4-colouring of Martin Gardner's "April Fools" map, which would be very difficult to find by trial and error.