premise: Ralph has not visited Cambridge, Bob has not visited Arkansas City, Brandon has visited Kennewick and if Ralph has not visited Cambridge then Ivan has visited Beverly Hills
hypothesis: Ivan has visited Beverly Hills