premise: Brandon has not visited Rockville, Lance has not visited Coronado, Martin has visited Gila Bend and if Brandon has not visited Rockville then Derek has not visited Takoma Park
hypothesis: Derek has not visited Takoma Park