premise: Karl has not visited Monticello, Leslie has visited Tarpon Springs, Gary has not visited Honaunau and if Gary has not visited Honaunau then Eddie has visited Germantown
hypothesis: Eddie has not visited Germantown