premise: Everett has not visited Fort Myers, Tony has not visited Fayetteville, Sean has visited Bangor and if Everett has visited Fort Myers then Dave has visited College Park
hypothesis: Dave has not visited College Park