premise: Terrence has not visited Summersville, Steven has not visited Cripple Creek, Russell has visited Lebanon and if Steven has not visited Cripple Creek then Dave has visited Bremerton
hypothesis: Dave has visited Bremerton