premise: Nicholas has not visited Pottstown, Jaime has not visited Atlantic City, Isaac has visited Fort Pierce and if Jaime has visited Atlantic City then Stephen has visited Willimantic
hypothesis: Stephen has visited Willimantic