Premise: Gabe Hall (born on October 1, 1983 in Lubbock, Texas) is a former American football offensive lineman for the Indianapolis Colts of the National Football League. He went undrafted in the 2007 NFL Draft and signed as an undrafted free agent. Collegiately, Hall was an offensive lineman for the Texas Tech Red Raiders. In August 2007, the Colts released Hall from the team.
Hypothesis: Gabe Hall played in an NFL game.