premise: Sonia has only visited DeKalb, Kanab, Warrensburg, Clinton, Menlo Park, Columbus, Joplin, Meadville, Rutland, Charleston, El Monte, Portales, Effingham, Mount Pleasant and Irvington
hypothesis: Anne didn't visit Irvington