premise: Bill has not visited Elizabethton, Richard has not visited Boulder City, Marvin has visited Stockton and if Richard has not visited Boulder City then Ted has visited Milwaukee
hypothesis: Ted has visited Milwaukee