premise: Sergio has not visited Fremont, Wade has visited Niles, Lewis has not visited Williamstown and if Lewis has not visited Williamstown then Jacob has not visited Des Moines
hypothesis: Jacob has not visited Des Moines