premise: Louis has not visited Borger, David has not visited Rutland, Travis has visited Massachusetts and if Louis has visited Borger then Marshall has visited Independence
hypothesis: Marshall has not visited Independence