Input:

Stuart is a city in, and the seat of, Martin County, Florida, United States. Located on Florida's Treasure Coast, Stuart is the largest of four incorporated municipalities in Martin County. The population was 15,593 in the 2010 census. It is part of the Port St. Lucie, Florida Metropolitan Statistical Area.

Sentence: Stuart is extremely far from the sea

Output: No

Input:

Speedway Field was the original name for the airfield that was to evolve into Minneapolis-St. Paul International Airport, the twelfth busiest airport in the United States; it was also the largest hub for Northwest Airlines and the third largest hub for Delta Air Lines, Northwest's successor.

Sentence: Northwest Airlines does not exist anymore.

Output: Yes

Input:

Salvatore "Sammy the Bull" Gravano (born March 12, 1945) is a former underboss of the Gambino crime family. He is known as the man who helped bring down John Gotti, the family's boss, by agreeing to testify against him and other mobsters in a deal in which he confessed to involvement in 19 murders.

Sentence: He also testified against other mobsters along with Gotti

Output: Yes

Input:

Albert Levitt (March 14, 1887 June 18, 1968) was a judge, law professor, attorney, and candidate for political office. While he was a memorable teacher at Washington and Lee University, and as judge of the United States District Court for the Virgin Islands ordered that woman voters must be registered, he later came to hold what some thought were eccentric views on religion.

Sentence: Levitt was known as the local genius

Output:
It's impossible to say