premise: Terry has not visited Merced, Shane has visited Kearney, Jack has not visited Crown Point and if Jack has not visited Crown Point then Terrance has not visited Excelsior Springs
hypothesis: Terrance has not visited Excelsior Springs