input hypothesis: How Murry Saved Christmas is musical.
Context: How Murray Saved Christmas is a 2014 animated musical television special, directed by Peter Avanzino and written by Mike Reiss. The voice actors include Jerry Stiller, Sean Hayes, Kevin Michael Richardson, Jason Alexander, John Ratzenberger and Dennis Haysbert.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: Yes
input hypothesis: The Hun River is a narrow river.
Context: The Hun River (, "the muddy river") is a river in Liaoning Province, China, and was formerly one of the largest tributaries of the Liao River. It was also formerly known as Shen River (). Two of Liaoning's most important cities, the provincial capital Shenyang and the seventh largest city Fushun, are located on the Hun River.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: It's impossible to say
input hypothesis: 9912 Donizetti was reluctantly named after Italian composer Gaetano Donizetti.
Context: 9912 Donizetti, provisional designation 2078 T-3, is a stony Rafita asteroid from the central regions of the asteroid belt, approximately 7 kilometers in diameter. It was discovered during the third PalomarLeiden Trojan survey in 1977, and named after Italian composer Gaetano Donizetti.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: It's impossible to say
input hypothesis: The show is a spinoff of another
Context: Play with Me Sesame is a children's television series, spin off from "Sesame Street". It featured "Sesame Street" characters, such as Bert, Ernie, Grover, and Prairie Dawn. From April 1, 2002 until September 2, 2007, the show was aired on Noggin, which was rebranded as Nick Jr. on September 28, 2009. The series was produced by Sesame Workshop and Nick Digital.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false:
Yes