premise: Joshua has not visited Pascagoula, Kevin has not visited Worthington, Brandon has visited Arlington and if Kevin has not visited Worthington then Earl has visited Waterville
hypothesis: Earl has not visited Waterville