premise: Everett has not visited Monroeville, Stephen has visited Anniston, Anthony has not visited Chattanooga and if Anthony has not visited Chattanooga then Franklin has visited Winnemucca
hypothesis: Franklin has not visited Winnemucca