premise: Jamie has only visited Orangeburg, Oil City, Enid, Lexington, Fayetteville, Middletown, Modesto, Saint Marys City, Coronado, Temple, Campbellsville, Waukesha, White Springs, Olean, Interlochen, Akron, Bloomington and Bloomfield Hills
hypothesis: Jamie didn't visit Olean