premise: Tracy has not visited Park Forest, Terrence has not visited Monroeville, Javier has visited Middletown and if Terrence has not visited Monroeville then Mark has not visited Allentown
hypothesis: Mark has not visited Allentown