premise: Vincent has not visited Ishpeming, Lance has visited Largo, Todd has not visited Niagara Falls and if Todd has visited Niagara Falls then Darren has visited Silver Spring
hypothesis: Darren has visited Silver Spring