premise: Johnnie has not visited Sylacauga, Salvador has visited Pittsfield, Fred has not visited Massena and if Fred has not visited Massena then Franklin has visited Savannah
hypothesis: Franklin has not visited Savannah