premise: Jesse has not visited Somerville, Lee has not visited Highland Park, Harold has visited Beaumont and if Jesse has visited Somerville then Marshall has visited Saranac Lake
hypothesis: Marshall has visited Saranac Lake