premise: Alexander has not visited Santa Clarita, Leon has not visited Arkansas City, Mathew has visited Utica and if Leon has not visited Arkansas City then Adrian has not visited Norwalk
hypothesis: Adrian has not visited Norwalk