premise: Morris has not visited Bay Saint Louis, Alvin has not visited Anaconda, Jay has visited East Greenwich and if Alvin has visited Anaconda then Chris has visited Winter Haven
hypothesis: Chris has not visited Winter Haven