premise: Mitchell has not visited Albuquerque, Alfred has not visited Sand Springs, Clinton has visited Michigan and if Mitchell has visited Albuquerque then Isaac has visited Tuskegee
hypothesis: Isaac has visited Tuskegee