premise: Edward has not visited Wayne, Benjamin has visited Norwood, Bob has not visited Benton Harbor and if Bob has not visited Benton Harbor then Juan has visited Shaker Heights
hypothesis: Juan has not visited Shaker Heights