premise: Juan has not visited Gastonia, Nathan has not visited East Greenwich, Marion has visited Indianapolis and if Nathan has not visited East Greenwich then Craig has not visited Vermillion
hypothesis: Craig has not visited Vermillion