premise: Johnny has not visited Kennebunkport, Raul has not visited Santa Clara, Floyd has visited Waukesha and if Johnny has not visited Kennebunkport then Albert has visited West Bend
hypothesis: Albert has not visited West Bend