premise: Milton has not visited Morehead City, Travis has not visited Middlesboro, Terrence has visited Largo and if Travis has visited Middlesboro then Gerald has visited Spearfish
hypothesis: Gerald has not visited Spearfish