"The third turtle lied" seems to be from a collection of logic puzzles called "Mathematical Circles". (although that was not in a 'turtles all the way down' context)