premise: Enrique has not visited Lancaster, Charlie has visited Chapel Hill, Gilbert has not visited Dillon and if Gilbert has not visited Dillon then Jeffery has visited Princeton
hypothesis: Jeffery has visited Princeton