premise: Maurice has not visited Campbellsville, Virgil has not visited Brockton, Edgar has visited Columbus and if Maurice has visited Campbellsville then Terrence has visited Scarborough
hypothesis: Terrence has not visited Scarborough