premise: John has not visited Montgomery, Lance has visited North College Hill, Rodney has not visited Rapid City and if Rodney has not visited Rapid City then Charlie has visited Flagstaff
hypothesis: Charlie has not visited Flagstaff