premise: Francis has not visited Santa Rosa, Mike has visited West Des Moines, Miguel has not visited Delray Beach and if Miguel has not visited Delray Beach then Jesse has visited Mamaroneck
hypothesis: Jesse has visited Mamaroneck