premise: Francisco has not visited Clayton, Nicholas has not visited Wisconsin Dells, Ken has visited Watertown and if Francisco has not visited Clayton then Corey has not visited Keyser
hypothesis: Corey has not visited Keyser