premise: Jacob has not visited Blytheville, Salvador has not visited Mount Holly, Albert has visited Greenville and if Jacob has not visited Blytheville then Mitchell has visited Coronado
hypothesis: Mitchell has not visited Coronado