premise: Ian has not visited Louisville, Arthur has not visited Bastrop, Kenneth has visited Valdosta and if Ian has visited Louisville then Peter has visited Hallandale Beach
hypothesis: Peter has not visited Hallandale Beach