premise: Angel has not visited Lewisburg, Corey has not visited Great Barrington, Clarence has visited Lancaster and if Corey has visited Great Barrington then Sean has visited Port Gibson
hypothesis: Sean has visited Port Gibson