premise: Salvador has not visited Greenville, William has not visited Port Huron, Carlos has visited Longmont and if William has not visited Port Huron then Michael has visited Marlborough
hypothesis: Michael has visited Marlborough