premise: Charles has not visited Virginia Beach, Virgil has not visited Telluride, Martin has visited Fayetteville and if Charles has visited Virginia Beach then Harry has visited Lakeview
hypothesis: Harry has not visited Lakeview