premise: Enrique has not visited Mobridge, Ernest has not visited Walla Walla, Jeff has visited Franklin and if Enrique has visited Mobridge then Wallace has visited Newburyport
hypothesis: Wallace has not visited Newburyport