premise: Gerald has not visited Coeur d’Alene, Jerry has not visited Point Roberts, Christian has visited Pierre and if Gerald has not visited Coeur d’Alene then Glen has visited Titusville
hypothesis: Glen has visited Titusville