premise: Manuel has not visited Easton, Michael has not visited Duluth, Larry has visited Fremont and if Michael has not visited Duluth then Lawrence has not visited Union City
hypothesis: Lawrence has not visited Union City