premise: Glenn has not visited Santa Ana, Maurice has visited San Mateo, Ivan has visited Ellensburg and if Ivan has visited Ellensburg then Julian has visited Benton Harbor
hypothesis: Julian has not visited Benton Harbor