premise: Glenn has not visited Shepherdstown, Jorge has visited Kentucky, Fernando has not visited Hattiesburg and if Fernando has not visited Hattiesburg then Fred has visited Aurora
hypothesis: Fred has not visited Aurora