premise: Terrence has not visited North Little Rock, Anthony has not visited Anaheim, Ernest has visited Illinois and if Terrence has visited North Little Rock then Max has visited Santa Clarita
hypothesis: Max has not visited Santa Clarita