premise: Luis has not visited Lebanon, Alexander has not visited Greenville, Jonathan has visited Bethesda-Chevy Chase and if Luis has not visited Lebanon then Harold has visited Kansas City
hypothesis: Harold has visited Kansas City