premise: Hector has not visited New Castle, Derek has not visited Staunton, Tom has visited Greenville and if Derek has not visited Staunton then Terrence has not visited Key West
hypothesis: Terrence has not visited Key West