Instruct: Given a premise, retrieve hypotheses that are entailed by the premise.
Query: The Big 12 Conference is a ten-school collegiate athletic conference headquartered in Irving, Texas. It is a member of the NCAA's Division I for all sports; its football teams compete in the Football Bowl Subdivision (FBS; formerly Division I-A), the higher of two levels of NCAA Division I football competition. Member schools are located in Iowa, Kansas, Oklahoma, Texas, and West Virginia.
There are two levels of NCAA Division 1 football
The big 12 conference is made up of 6 teams
The Big 12 Conference has a team coached by Gary Patterson
In 1978 Indiana Hoosiers were in the Big 12 Conference.
The Big 12 Conference has the fewest members of any conference.
The Big 12 is worth aspiring to.
West Texas Wildcatters is a college football team.
The Holiday Bowl features teams from the Big Ten only.
Virginia has sought to be included in Big 12 Conference.
The 120th TCU football team played as a member of the Big 15 Conference, led by coach Gary Patterson.
The 120th TCU football team played as a member of the Big 12, led by 12th-year head coach Gary Patterson.
Boise State has a football team.
Boise State University has a giant football field.
Texas Christian University regularly produces top football talent.
TCU has a Division I football team
There is a college in Kiowa County in Kansas.
The 2000 OK State Cowboys had one of the best defenses in the Big 12. 
TCU has had over 100 football teams
The football teams are college
Texas A&M has competed in the southwestern conference 
The Football Bowl Subdivision was formerly known as Division 1-A
The football teams are all in ohio
The states listed in this context are losing population as I write this.
The Big 12 Conference is the conference of TCU.
The Big 12 Conference has the fewest members of any conference.