Premise: John Michael Walton (born 10 November 1961 in Bradford, Yorkshire) is a former World No. 1 English darts player who played for the British Darts Organisation and Professional Darts Corporation. He is best known for winning the 2001 BDO World Darts Championship. He has adopted the nickname John Boy and uses the song "Cotton Eye Joe" by Rednex as his walk-on theme.
Hypothesis: John Michael Walton wasn't actually nicknamed John Boy