premise: Curtis has not visited Port Huron, Philip has not visited Orderville, Lester has visited North Las Vegas and if Curtis has visited Port Huron then Gerald has visited Lawton
hypothesis: Gerald has not visited Lawton