premise: Alexander has not visited Augusta, Bob has not visited Boulder, Martin has visited Houghton and if Alexander has not visited Augusta then Gordon has not visited Sierra Vista
hypothesis: Gordon has not visited Sierra Vista