premise: Derrick has not visited Council Grove, Tim has not visited Martinsville, Jonathan has visited Bellows Falls and if Derrick has not visited Council Grove then John has visited Philadelphia
hypothesis: John has not visited Philadelphia