Q: St. John's College has two campuses located in the USA.
St. John's College is a private liberal arts college known for its distinctive curriculum centered on reading and discussing the Great Books of Western Civilization. It has two U.S. campuses: one in Annapolis, Maryland, and one in Santa Fe, New Mexico, both of which rank in the top 100 Best Liberal Arts Colleges according to the "U.S. News & World Report" website.
OPTIONS:
- Yes
- It's impossible to say
- No
A: Yes

The 2012 PGA Championship was the 94th PGA Championship, played August 912 at the Ocean Course of the Kiawah Island Golf Resort in Kiawah Island, South Carolina, southwest of Charleston. Rory McIlroy shot a bogey-free 66 (6) in the final round to win his second major title by eight strokes over runner-up David Lynn.
David Lynn was the winner of the 2012 PGA Championship OPTIONS:
- Yes
- It's impossible to say
- No
A: No

input hypothesis: A dyestuff parent substance is soluble in alcohol.
Context: Phenazine is an organic compound with the formula (CH)N. It is a dibenzo annulated pyrazine, and the parent substance of many dyestuffs, such as the toluylene red, indulines, and safranines (and the closely related eurhodines). Phenazine crystallizes in yellow needles, which are only sparingly soluble in alcohol. Sulfuric acid dissolves it, forming a deep-red solution.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: Yes

Context:
Clark County is a county in the U.S. state of Nevada. As of the 2010 census, the population was 1,951,269, with an estimated population of 2,114,801 in 2015. It is by far the most populous county in Nevada, accounting more than two-thirds of its residents. Las Vegas, Nevada's most populous city, has been the county seat since the county was established.
Hypothesis: Clark County, Nevada according to the census taken in 2010 has fewer than 1,950,269 people. OPTIONS:
- Yes
- It's impossible to say
- No
No

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

The Santos-Dumont No.6 was an airship designed and built by the Brazilian pioneer aviator Alberto Santos-Dumont. In 1901 it was used by him to win the Deutsch de la Meurthe prize for a return from Parc Saint Cloud to the Eiffel Tower and back. It is considered by many to be the first truly successful airship.

Sentence: The Deutsch de la Meurthe prize was won by a Brazilian.

Output: Yes

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

Oconaluftee is the name of a river valley in the Great Smoky Mountains of North Carolina, located in the Southeastern United States. Formerly the site of a Cherokee village and Appalachian community, the valley's bottomland is now home to the main entrance to the North Carolina side of the Great Smoky Mountains National Park.

Sentence: There are mountains in north carolina

Output:
Yes