premise: Albert has not visited Pasadena, Stanley has visited La Habra, Marion has not visited Winston-Salem and if Marion has visited Winston-Salem then Byron has visited Mississippi
hypothesis: Byron has not visited Mississippi