premise: Victor has not visited Grand Rapids, Marc has not visited Tulsa, Jamie has visited El Cerrito and if Marc has visited Tulsa then Joseph has visited West Des Moines
hypothesis: Joseph has not visited West Des Moines