Suppose Washington, D.C., formally the District of Columbia and commonly referred to as Washington or D.C., is the capital of the United States. It is located on the east bank of the Potomac River, bordering Maryland to the northwest, north, and northeast and Virginia to the southeast, south, and southwest. The city was named for George Washington, the first president of the United States.
Can we infer that "George Washington was the first president of the United States"? Yes, no, or maybe?