premise: Eric has not visited Garland, Brandon has visited Fitchburg, Byron has not visited Battle Creek and if Byron has visited Battle Creek then Marshall has visited Columbus
hypothesis: Marshall has not visited Columbus