premise: Felix has not visited Columbia, Victor has not visited Collinsville, Oscar has visited Williamsburg and if Victor has not visited Collinsville then Anthony has visited Wilkes-Barre
hypothesis: Anthony has not visited Wilkes-Barre