premise: Roger has not visited Holly Springs, Alexander has not visited Aurora, Darren has visited Calais and if Alexander has not visited Aurora then Theodore has visited Iowa City
hypothesis: Theodore has not visited Iowa City