premise: Isaac has not visited Hillsborough, Bernard has not visited Scarsdale, Kenneth has visited Saint Albans and if Isaac has not visited Hillsborough then Warren has visited Greenville
hypothesis: Warren has visited Greenville