I've written a page about a puzzle even harder than "The Hardest Logic Puzzle Ever":

http://www.srcf.ucam.org/~te233/maths/puzzles/evenharder.htm...

Sorry it takes so long to connect to the server!