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.

Choose your answer: based on the paragraph above can we conclude that "The TCU Horned Toads played as a member of the Big 12 led by coach Gary Patterson."?

Select from the following.
[1]. Yes.
[2]. It's impossible to say.
[3]. No.
I think the answer is
[1].