input hypothesis: There is only one town named Keystone in the United States
Context: Keystone is an unincorporated community and census-designated place in central Keith County, Nebraska, United States. It lies along local roads near the North Platte River, northeast of the city of Ogallala, the county seat of Keith County. Its elevation is 3,100feet (945m). Although Keystone is unincorporated, it has a post office, with the ZIP code of 69144.
true or false: It's impossible to say
input hypothesis: The song was very popular
Context: "Lyra" is a song written, produced, and performed by British recording artist Kate Bush, from the 2007 soundtrack album "The Golden Compass" from the film of the same name. It is used in the closing credits of the film. Bush was commissioned to write the song, with the request that it make reference to the lead character, Lyra Belacqua.
true or false: It's impossible to say
input hypothesis: Theodore Roosevelt changed Dickinson Municipal Airport's name.
Context: Dickinson Theodore Roosevelt Regional Airport (IATA: DIK,ICAO: KDIK,FAA LID: DIK) , formerly known as Dickinson Municipal Airport, is a public use airport located fivenautical miles (6mi, 9km) south of the central business district of Dickinson, in Stark County, North Dakota, United States. It is owned by the Dickinson Airport Authority.
true or false: It's impossible to say
input hypothesis: JYP Entertainment did not have any albums released by Park Ji-min in 2011.
Context: The first season of Survival Audition K-pop Star (Korean: K ) premiered on December 4, 2011, airing every Sunday evening at 6:30 pm under the "Good Sunday" programming block on SBS, until April 29, 2012. The first winner was Park Ji-min, who chose to sign with JYP Entertainment.
true or false:
Yes