premise: Jeffery has not visited Killeen, Hugh has visited Pensacola, Greg has not visited Pass Christian and if Greg has not visited Pass Christian then Nicholas has visited Plymouth
hypothesis: Nicholas has not visited Plymouth