premise: Aaron has not visited San Juan Capistrano, Nathaniel has visited Virginia City, Chad has not visited Borger and if Chad has not visited Borger then Marshall has not visited Derry
hypothesis: Marshall has not visited Derry