premise: Everyone has visited Dubuque, Hazleton, Bloomington, East Haven, Geneva, Presque Isle, North Chicago, Minneapolis, Abilene, Brooklyn, Cleveland Heights, Antioch, Eureka, Orderville, Nags Head, Alpine and Montgomery
hypothesis: Ada did visit Antioch