premise: Charlie has not visited Central Falls, Dwayne has not visited Chula Vista, Kelly has visited Defiance and if Dwayne has not visited Chula Vista then Fred has visited Palatka
hypothesis: Fred has not visited Palatka