input hypothesis: The Condensed 21st Century Guide to King Crimson was released in 2006.
Context: The Condensed 21st Century Guide to King Crimson is a compilation by progressive rock band King Crimson, released in 2006. It contains select studio tracks from the two box sets, "The 21st Century Guide to King Crimson Volume One 19691974" and "The 21st Century Guide to King Crimson Volume Two 19812003".
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: Yes
input hypothesis: Fort Davis was named after Jefferson Davis because of his war achievements
Context: Fort Davis is a census-designated place (CDP) in Jeff Davis County, Texas, United States. The population was 1,201 at the 2010 US Census . It is the county seat of Jeff Davis County. It was the site of Fort Davis established in 1854 on the San Antonio-El Paso Road through west Texas and named after Jefferson Davis, who was then the Secretary of War under President Franklin Pierce.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: It's impossible to say
input hypothesis: HMS "Sussex" sailed across the Mediterranean Sea at the beginning of the 18th century.
Context: HMS "Sussex" was an 80-gun third-rate ship of the line of the English Royal Navy, lost in a severe storm on 1 March 1694 off Gibraltar. On board were possibly 10 tons of gold coins. This could now be worth more than $500 million, including the bullion and antiquity values, making it one of the most valuable wrecks ever.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: No
input hypothesis: The Little Shop of Horrors musical debuted in 1983.
Context: Howard Sings Ashman is a two-disc album compiled by PS Classics as part of their "Songwriter Series". The album features Howard Ashman singing selections from his musicals, including "God Bless You, Mr. Rosewater" (1979), "Little Shop of Horrors" (1982), "Smile" (1986), "The Little Mermaid" (1989), "Beauty and the Beast" (1991) and "Aladdin" (1992).
OPTIONS:
- Yes
- It's impossible to say
- No
true or false:
No