premise: Eddie has not visited Morristown, Steve has not visited Middletown, Travis has visited Charlottesville and if Steve has not visited Middletown then Reginald has visited San Leandro
hypothesis: Reginald has not visited San Leandro