Input: OPTIONS:
- Yes
- It's impossible to say
- No

2009, Year of Us is the third extended play (EP) by South Korean boy group Shinee. It consists of six tracks and it incorporates alternative rock and hip-hop music genres. The digital version of the album was released on October 19, 2009, with a physical release on October 22. The title track, "Ring Ding Dong" was released on October 14, 2009 through various music sites.

Sentence: Shinee only released physical copies of Year of Us.

Output: No

Input: OPTIONS:
- Yes
- It's impossible to say
- No

Gwinnett County Public Schools is a school district operating in Gwinnett County, Georgia, United States. GCPS is the largest school system in Georgia, with 139 schools and an estimated enrollment of 178,000 students for the 2016-2017 year. GCPS is estimated to be the 14th largest school district in the U.S. The district has its headquarters in an unincorporated area near Suwanee.

Sentence: Gwinnett County Public Schools has people who can smell.

Output: Yes

Input: OPTIONS:
- Yes
- It's impossible to say
- No

The Phu Quoc Ridgeback is a breed of dog from Phu Quoc Island in Vietnam's southern Kien Giang Province. The Phu Quoc Ridgeback is one of only three breeds that has a ridge of hair that runs along its back in the opposite direction from the rest of the coat (the others are Rhodesian Ridgeback and Thai Ridgeback). The Phu Quoc is the smallest of the three ridgeback breeds.

Sentence: The Phu Quoc Ridgeback is a popular dog in Vietnam

Output: It's impossible to say

Input: OPTIONS:
- Yes
- It's impossible to say
- No

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.

Sentence: How Murray Saved Christmas was not released in theaters.

Output:
Yes