premise: Marion has not visited Benton Harbor, Andre has not visited Florence, Felix has visited El Cerrito and if Marion has not visited Benton Harbor then Daniel has visited Ephrata
hypothesis: Daniel has not visited Ephrata