premise: Karl has not visited Charlevoix, Andrew has not visited South Orange Village, Herman has visited Peoria and if Karl has not visited Charlevoix then Willard has not visited Tonawanda
hypothesis: Willard has not visited Tonawanda