premise: Brandon has not visited Oak Park, Alexander has not visited La Grande, Steve has visited Madison and if Alexander has not visited La Grande then Wallace has visited Keokuk
hypothesis: Wallace has not visited Keokuk