premise: Victor has not visited Laurel, Scott has visited Pinehurst, Floyd has not visited Manassas and if Floyd has visited Manassas then Bill has visited Hallandale Beach
hypothesis: Bill has not visited Hallandale Beach