premise: Byron has not visited East Haven, Leslie has not visited Ocean Springs, Frederick has visited Rumford and if Leslie has not visited Ocean Springs then Dennis has not visited Ilion
hypothesis: Dennis has not visited Ilion