premise: Oscar has not visited Kennewick, Bob has visited Lincoln, Cody has not visited Fort Collins and if Cody has not visited Fort Collins then Alfred has not visited Harpers Ferry
hypothesis: Alfred has not visited Harpers Ferry