Generate a context and a hypothesis.
Context: The 2015 TCU Horned Frogs football team represented Texas Christian University (TCU) in the 2015 NCAA Division I FBS football season. The 120th TCU football team played as a member of the Big 12 Conference (Big 12), led by 15th-year head coach Gary Patterson. The Horned Frogs played their home games at Amon G. Carter Stadium in Fort Worth, Texas.

Hypothesis: The TCU Horned Frogs were led by head coach Gary the snail.