premise: Gerald has not visited Waterbury, Corey has not visited Wisconsin, Theodore has visited Marion and if Gerald has not visited Waterbury then Curtis has visited West Memphis
hypothesis: Curtis has not visited West Memphis