You provide a bit of context but if you could explain even more terms it would be great for someone like me that is only vaguely familiar with graph theory. I can follow the general argument and some extra pointers would be greatly appreciated.
Does this help?
http://www.solipsys.co.uk/new/GraphThreeColouring.html?HN2
Feel free to email if you'd prefer, I'll go and start reviewing it.
Thanks!
Edit: I've now added a side-box with that link.
Perhaps it is no longer a graph if I have a bidirectional edge? Or perhaps it is not considered planar if two edges coincide?
I'll add that - thanks!
Edit: now added - it will go live when the page updates.