premise: Leslie has not visited Redwood City, Benjamin has visited Myrtle Beach, Max has visited Meadville and if Benjamin has visited Myrtle Beach then Gilbert has visited Visalia
hypothesis: Gilbert has not visited Visalia