premise: Harvey has not visited Clinton, Lewis has visited Middletown, Ted has not visited Hoquiam and if Ted has not visited Hoquiam then Marion has visited South Charleston
hypothesis: Marion has visited South Charleston