premise: Charles has not visited Lake Geneva, Jorge has not visited Gloucester, Karl has visited Avondale and if Jorge has not visited Gloucester then Antonio has visited Dickinson
hypothesis: Antonio has visited Dickinson