premise: Brandon has not visited Medicine Lodge, Marion has not visited Bridgeport, Everett has visited Geneva and if Brandon has not visited Medicine Lodge then Antonio has not visited Wausau
hypothesis: Antonio has not visited Wausau