premise: Everyone has visited Lancaster, Austin, Baker City, Battle Creek, Fremont, Mason City, Albany, North College Hill, Lakehurst, Arizona, Redmond, Swarthmore, Elkton, Prineville and Greenwich
hypothesis: A person did visit Redmond