premise: Walter has visited Eau Claire, Andre has not visited Passaic, Derrick has visited Highland Park and if Walter has visited Eau Claire then Frederick has visited Oceanside
hypothesis: Frederick has visited Oceanside