premise: Dora has only visited San Fernando, Southington, New Britain, Auburn, Effingham, Houma, Dothan, Summersville, Mason City, Beaufort, Hialeah, Ecorse, Spanish Fork, Naples, Colorado Springs, Portsmouth, Richmond, Catonsville and Baytown
hypothesis: Ruth didn't visit Ecorse