premise: Lonnie has not visited Mount Pleasant, Julian has visited Mount Vernon, Jon has not visited Camden and if Jon has not visited Camden then Lawrence has visited Mayfield
hypothesis: Lawrence has not visited Mayfield