premise: Robert has not visited Bridgeton, Joshua has not visited North Hempstead, Theodore has visited Johnson City and if Joshua has visited North Hempstead then Leo has visited Grand Junction
hypothesis: Leo has not visited Grand Junction