premise: Virgil has visited Cripple Creek, Walter has not visited Hillsborough, Patrick has visited La Habra and if Virgil has visited Cripple Creek then Chris has visited Shepherdstown
hypothesis: Chris has visited Shepherdstown